SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  1 T ]]HereditarilyFinite:threads=2elapsed=16.269cpu=26.368gc=0.980factor=1.627zXZִF! T]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7Wڕc2NT"^Kg.`:Ye{4o /k3ϕ~fw"@hJ ]eVlw y Äd/$ oD\lMaTm7;9Vgb_KD-Җ3Vqi,fmfn`M > t/ *.}R:B/ RAEm^bY +Nً$##a_VcOςɉ)iUOK.O,l|*$P㳂VgtGL*t]`$jk9Z ?|HGh(X0!8TFdFsOw)$St7ҴX q0F6^kKcG^pe|?b^caM^>Yg/ "SԔ'pYHdǗk,0ܼ-5iܟI`BPpp>C> ߹)cQH}PU=qN)4΍>D 2JܲɖoQ!Aٻz{D+{X"6{;vlT礬Ľ^6HE\l):%*GR_'+ops4n`r8QP8X6rm}&ـ ][ir5F:Yc8&Y.K5;`sX_5( d$8tcM|d_T}|HnWkN:]ڗe_a7ERAwg(l+Vm12}moNP?9pV^wmd[$*#~$sx깡j| 1M_PJN\x.z͂t1j@1X1s?ho"vDLh;+ +u 9<`+4֑>09dE7/0x@'sTH*8%`^2wHy##"A:,["R8cC)z/Du]V~D%HK|;SX/bmʱ~Hyaumši7#-8}Uj||M+i04 4) S&=+f7Τc%.[fUm`R `l͈iI1h&wh˳y-\L_T+nӀ9t|RtA蝛nl#2gؕAfmKLyut˲UpLχ;j^̚a]m|NfTB%mYv}}&u̍Hg2Q:Xz66Hą~'e}x7s"#uKH?)C|ʼ*OlcSPn CYgYZ01acf6b81df20d56683dc99d55c3955cd4433fefa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300fff0b5f7f0ecdcff5e59a5005ff85d1faabeb1db2d 1 HereditarilyFinite