SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ss  t ]]IOA:threads=4elapsed=10.311cpu=35.892gc=0.996factor=3.487zXZִF! 3]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K-㐓CnN풉Zo)F(<7N9#geMZRKh,v8nEiՁ2,w%MXķ1Ǿ*Kv9g2!_Ƒ~1s.;?:J AV uA (u9#Զdw"yi$!6 > 'JG :#Wf$V*| .r՛ ? df. 4>#6&MPDJMNM<3/5Ѧ~@k[ " |2xz)檰ވ--Yq'uv7D.ͤw8cI:l.,l YeMSF?ĕCzmMD)|W#phw{dt͆tvJC09mpeJjbC@$72:|"4IKgw*.@'QŴ5yAaUbU ayi4~&#pngYZ7zXZִF! `z]ŗXiɟdN'LvH۹mx;?сJֻ˼䚛I{yMnjſ}ܗ2ْufi-ss.g9aJWLJ Ķ쇹74f@Df*4]zhGG?Fguad`j"0In$ȮNxNqÜnaOu*nGym:(q@߁:I)~_fVfyx0HljSq\%GG^@ҞI'&tfI֦eLkFCʗX :Yz)W@t7Oƚ&-Y~p:U [=o}NV8k  ,gYZ7zXZִF! :z]ŗXi%B)HhrzRBSUygL46J)̕SK~/~#3Y_ld\^;|B$;FrH~Se*I-?&CE2- nLU PEb)yU؅hJp09m&&jdv{J*}3"kkj3)'Rox ,4ncd̈́d"Hc Y0sO}:YE([_umT"_?$Xe o}0TΑ%e24O0ukEiBtAAOSF=J>4x)$eb2Tͬ_[LNi9\:㛅sHɱښ.0Ĉ#IJ@ӺW%tl5 M1`Y`O!%;GR#l:s9oEHoo.Ɍ4N8\=I<▿tW.yd;)e@v|  n%8o ZY'3{D usխ~1ctߒ5l(C}8!0ՄS E16+#Ocl}M!k CKApx.Q9! qJ)ODDMޓw6c.ojetb8G(y7]|ۏeAR4K}e#3]K$&P@x:i `ם'5#ee?%EPGd?J5AU"JFdp$jh걳""(RdtY -IA+Su^EvfUhYjdmLЕ-uFN4 S1tj 8Ib]_XE3*Ox$8 |,֫e#Xՠ.nѐ"a `s2cR"# ֭0 N!TY>9}& &F#߫<5ƒ{W]bYXJg Y wseD Tsecې5ĖŇ|PFh gEuvZPqѓk_spP\(\%;˝9&޴JmEa,kv{^A۽'9( ȧ/ Bw O@)==#M *~"Hc&*fj4Xi0"Q.'}3T`aw^U8& tƱgYZda8a18b07477b6257404daf62737b5f7eb48877e76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 ab343e3c85422366ae7fca07d3711e53569f94a1e1b39b4c8a1fd4902e5c8d9a66b80e4611be7ddf  IOA