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 2 ,$D ] KD_Tree:threads=4elapsed=13.935cpu=45.520gc=0.956factor=3.277zXZִF! A]ŗXf[& صfYÙ +7JD9*rgaѡ+9(}-I 3 ?L H )m\ܩЀտEI@z=).9!{ kB Pi5O/09hSӖ?{ naV! pLG!m oDYA3қûydxBVg ڷ-1y=QrULl>aPnDi W "cدg84,D( J,1:2Y汰hPZ@E4@8$Y8 VV<;J0N24Iga|ClJ<@3>Sv`:_s~L2cTFYܟ+xIS>8Z <9+yM ˵x[ьO3{*%`XI4 tz1nW3?w7C1]ozpj 8?w3]]ŕ}\Y<߷-(ZyfP#/le6o*X)*XYR1`:ӐoN[$={asrAxqݫ%.8&[CP@Ax_ =9+xyMxSBG5Т7kEdz}gKUt$e6dnq~:{^\$76b&+ oJXT^3ڥt`&PG(Gd̕zHPM/ECqY\ uFCC_ʓ)¸+7#8_D/BCwTm7y pyU/] ;gMf濷T3`8Z4 %iƙ|$Ltơk uF`f|+)%UUCQo0 ȋ6 _FV`}t/{lRv? ' -8sƩP\L@Uٕ&㸵ܶx!.W]ܬT%i&{ #8Yr^f0+ww.1c:0s31I04 ٷ>y F#4&Oq(:{2Rm!8Aé%VL[EAOZc; E3iBʚ&v;j% 9SiEOlcjل )G\#a.'mbSlx`K^ERt"7 4x=H8^cg 2&x.r硕*L@Jpyᕅ[0&;oH-s-:BeƇQI|8ni0~*ey͹啛