SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info |Y 4 ]/]Noninterference_Sequential_Composition:threads=2elapsed=21.803cpu=37.888gc=2.028factor=1.747zXZִF! S]ŗXf1-/6vR[y(&j-:6/}j%F0'0RZ\>;Xh/~kqX YS|țiA "] 5IW+tOVJA. {@\0+~FKg-r ˇkiN 1<ܾ37Vznx]VHDi4z?8=чCO2)1($F>R˫ѧٛ1KkȋSY]U!z5犱dT kj&_3h͢H@_.?Ix`JH #ƳȫJ#l&}p,eAېU+Ts!u2j/h>]1 &Šۜx- (z1Vf y^zUE10NE #b=gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfY{AIPMrG" "Yb8yve`%O#\U'G!v>t6u3=M5fDpҨ)fPe ;sw,ӆ3#SQétLqV<.δ]o!72G+#5%g9!v%m ?@(&WlO~ԔCϴw mQ{PۘdVØ'+;:,3a@&!Rhq~Q誤,&@Q 8kv:r0`N晱P 2Ԕ#ː~^u흵S*) {cʝ 7B7#P3A,`Z;hO`;(79sҢ'NFGXB {:WOԠaѹX+RҸO£KT5Fvփi7u?~cyA{E~~Ԓ:X! I2*p!SIi_o!L׻ċKmQR=V7ir}Єd/ž/8ռĖЗZxd1wdl'6hpI4W.E*B! z>f3UـH=p243EZ{0?` 72 DQYzpI\o3c$Pw j6}W5l0ъ/\3.B=K:4,Y/1^ɤWLsn3[sLY:u6q[nү!(y+P.s֗oHFtC-{C#Qχ쇠K KBU`c363ZqՐ\S5bjKlԸ2XYW)W ,2ksħuf}aA\DK&_[*P3$}n&jhÜ`ӂD<Ib )꠾u*Ng gqH) aUÖ[:P#