SQLite format 3@ .;  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 XX% <|L ] IOA:threads=6elapsed=7.238cpu=32.200gc=1.444factor=4.457zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q{rqr>[ng_@>(qHGECLoY!\J$$8ť|]D /QӍ.!k2i ]ڵf˥o ye1AD~8a'nɧȪ Y[=&1Et7WM#ZAiݒ6 v=ap;W$yx [JЮCQmR9(8 ˶1|!&o }EF}OY'@1"OUOV\kKg!BSŨa>?\%Z%+fptY$\fSH(. ]tڕ& )b/qV(ԥK؊Ӗe #Ld:\w 3u,_C\CQHa|>°{w[Ycqe%bRGՓxQ%&!b \>̱gYZ7zXZִF! `u]ŗXiɟdN'LvH۹C<" !LZōZ Gռ!M|ׇ,ėK9}cXl(iiSyTS&D^.C(Hg#=uryt1NBnQth JAdҷ$iQ$k~Oja=8ꮩә{u,LsG2+ `ț1gYZ7zXZִF! )]]ŗXi%J ^0KTKDPfXI1&RR=\$j;R }me7.K4ZUiFSU]~k?ŵp?_o2Bl>5m7* ƌO|bfFն|JtI1wC.]<]ШBvSVg VfMJECcjhDXq#:`1*pXA7OP Ә*,VBc r+p=gԬftQT{1HyN6 mQ;}_/oE8e5pt^uv?+s3ܔ#G,ASV!,_@:@ z^W<$(S3ňЈ@YunT|CUWA/8)uk`YÌ  =Eb4m@c=4By}\G9wa~#Dɛ#])J&Gv)x)ޗKд*,ގ Y5ea2Y!(Fi<  8{nlYقلF ZLFc}RG:}zP*]|Xݣ% JHdZUb@/EvUN#Ea1ŚgYZ60614ae9fc1276254a01cf78198f7b9ffd5913a197b6005f23613ff7cb630f3272a04a30fd86006a e2c67592afbd2f2e833f3588c14571d7d670c534 a937581ed00db4fa7720936665b6582b393f4384  IOA