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 ) dDt ]% Jordan_Hoelder:threads=4elapsed=10.884cpu=38.764gc=1.540factor=3.567zXZִF! ]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=98`d7 +|Fqk4!ٙQ@d ]GTJh>D>4~nXN(%qYy42M>IM%N \4Sխ"ʬM^^'ug[hU1? i۵K'\PH|yC{R[_a>%<$ 5ΉFKVB?&[US%_@WPsKfl »-3*(ؒ_E'6L&idnPs[mRcO8snQYAZFK0m%0JNodLǤl*˵ѼolpZ݄H*dޖ]맥\RsdB/k[,AG+a>Id6'/cgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz|"f!_uؗTP5tD50F 5X] 80bC}< w|"x${a~{}%aɾI-v +('.s[ ),6f820ػսKt:I#d`L pij}ٺV5rVY9V.KzV '{%3"6hГwξt!&>)lte= a='zN5c(蘒U[Rg4so zk?|eЂ6VCZY:]C< vpc| Ssa֙]QZJhGE 6 ?eT0]9qBZ_ 2 /YwbN%b޻;s3{ הbPp09_[lMJo_nXfdIܞQ'I7SicAf0B~ǁP(׋Jp9H{P﵅x$*xbk̵GB!IpIuf\Yu2So]8CYm!ЙsZUMᙑQo!b#Ce.[la- w9s~D5 5a-_Cx)vLFޞj:D*W-.f'Q?x]a԰J\g0iܝEWiR?hfBJ~vk ml ҅e / 51H \.J/{+hۿYn:H}[\;&|k~om,6w<5 e'lt#jj<FNEyYm.iB6zrp1*p`K~#/A\3vvϸĎ7Uu#VPV۱q&\BdԄ!\8q'xP6 *%N.6XJ_]sHl ʘ/KR<0:[gaØrޒq,3Yp:1'ӗ\b#iʕgǣ7nRu؀.|纮h~^o 5 ܋Cv `C;~pRTMW! b?ˤYrI,[eફxϳb"9s5ayteO8^)fQx6Rq/b *UA d)4xebJ,Uhx bƼ@:' `OgYZeb2f36d41be7a22fcad751445abf60893306813bd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 68e83567f410544f1ee969efc186135725f681c5 699bdbf258f0abde11384880867d7af53de69489 ) Jordan_Hoelder