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 7-p< 4 ]/ FunWithFunctions:threads=4elapsed=0.969cpu=2.560gc=0.0007zXZִF! v ]ŗXiɟH)0%o;L+φW.gy  'XlTR~f5`oXTפ#-35-P6=^pcp,~QT!_&y|2fhmUp8PxԌ )MEpD6+$0l%25\\R>~P Dz,ˈKID&6Q=[}i| $ 2~{e8Ĉ<=`^>툭E۳TJ:4]̗,jGCO-dX`,<خJƷvA}1Q{`VOk{iO%$ҊdLx`_t1f>{71,e_{K]rmHyz;xX9!xE4l%!_諗[;gSk|uk {|Mʵ>f&+=z?M|7oAԝBD+-|ӑM- ٓ6FP*| B3?yDslQE*zA! Rť*lG$: 4+w A =o>h'JTm(S> ZНgkM?B~1quhER4#^CZ\[AJŭ0%/ NNԂՁ`K ʥbi)9;QU H s֯@w1B\ψX5WPHQZfTjn <w !|әAbRe,T /)** !^#QDрjS8+7o9ՆOd\p6(Zy-;[9'7g)  B (:M"|Uf&_%,heHwf೩Be~[3aE߉w0z–_r9 y 4:7tĊVj>M1iY*&;o#$bV6)U|ϐr8/-Qg"G"PCo)&~48ګQ&/ݛ5ʛzz.ܖv}UgBC_Kw%nSF^% %gRY(:}9EWk o ǡӣD[fÇ !۷Zۇ+`e^%ӕ5#/>I],5gz`1V٣0K|-UR,@IOЄ+Dn2žBCW J#' CE|'3s6#&nw;b@s-~Y{Z2 ʘ/kbpgYZ7zXZִF! UC]ŗXiɟUXvD@ 2C \7c &?Y3g 7R)pŃgV_Vq}YZ7zXZִF! S]ŗXi%L&X7Ն-6F}q ˖e-U[d,\~Ӿ7 LlKЙEcS*)mp0J42؀ű? VS0aLTT擙 t-& _gӭOy<,DyvRJdDUsAWͻf?3Q99CԕWKے:3GʾL0