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 I/ T ]S Monomorphic_Monad:threads=2elapsed=32.558cpu=51.872gc=3.080factor=1.597zXZִF! <]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRwq[5%~Rh  Az! 5v[+ 0G~0t UP@kh j~ԦQi "&~vx n:9\"%&1A2sk!cDw@ ;etKN.k`/Y)IWM4:Ks=z7kCAJp QB.s@:(ㆋ1#NRn[Lrkw]!; mS*r5xt>5Ӊ8#</b$#­W ׅ}L=:^PZ;7Q?AmW@B0Ovg^^/Uhˤ/ GCH-0EDng9կ촴mk {fxFpeU:?tK#}P%{z4D.rX@ՐH Jؕ^WmR{&Bevϐq7#,eMWۺgCrg8=I;.Ђ"A7Gx[6 Tu%\se27_8&St\GAA:@sYpת@H1SsjѠfV(~"]:i#]^O+YF7\H}v%Q bBn?YYӲnDvbxgǍMCuȅJ({ca.a sA2E$=zmNj (V03Ș+[ k3gh<7yz$GEzG{dK(T"Y|@͙V cTFMﰽiܷk-%;J} :f="\0XimǑRЭiױ ,.(H%dΒs-[ S9o)SzA߿(cG`xVvn[f_ bֺf%L+at2k}ǟ~w'\Ѓq %Yd3WIROKs6֌4\ ^p#(C!LN/E$X702p=hKUJmKQ,LM:}pџf#BDohmKYk9s >LR&YH`rU"ޛ_s]nj`O5*s-JOb|B-h۬ uC~nDbTjaoQ`̗&rYNpYB,|r 6Eny,NWym E0t% / fa954)oM>@(Nbh.ΚybGekMk+ <>v&SUKǿkOsעVLª<>j@i:*.S}8]q.4dJrBCT5_NU 4g^ "K/-!RX vU?|f >?rШ9Ia(&Gj&LX20uI>E0EfT-m{3gb%'HZ+Oi6oЬJ5Ѫ{u`$CTt*ҿ_-"#ʑF syɶ";ckvUpS8^l#1RIsQܩZj@-p2b_YYQCȧnnFkS|O~<[x)%_&aB52KC  Swpk7o`GOg >oذ]m' ]ĕ?ե9L ^U x&h B[ SX?`4m5&tHG:kj;G49O}ͽM{i m.be$ĖóE.u#uWOC0WFԍ5p/{m1^=37?Lv  _ Y+\䖋y$ȸtwo㗆\V:@P*?|STid'ʻep3f^{NhGVml6`*<l~3+-VX1MJ/Mwb֩xҿFto<] -Ӳ4Td v\Z .$#Ōן̂:=;e7Y VG"&T-ÖYl|&SUgYZfd0ad19f72323eea586c16a0a67f31f08d627f90665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d / Monomorphic_Monad