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  o ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/DE&/9r@cɋͱ{VX pj~tXV"!;@|l@,2)_ 0/dCGF+}'R< 1#շo~3 b{ܰxDQTF!r`Y`UC2'S%H-{GUsFC|B .qB"Rd[Wً|Ԟv]Q[i$c4~[/Z Gyv  LEM  kVU~Ȩ>yd"[u l (Jz:8ha r%({*+,34<{az0nIU<70 k tyͯ->^l,D A K1ɧCy&O_Ffvf_]H~׉ \ RIBiWIXo_Ƶ[35ҙ`ّ!VlKάJXTIzwM$K:9A_ʙgA5"5—Kb2) L-.ZE&_* ٚtMM~: *eMF~\*בtd;L i~=}/Ha{s|H:F^.{WJwEugARe$pʨ\NׇSx vEO`^bS<.CRn0V?BjPiMC4"OϹ MV#ǰ15auԲLSNcycM㽦H. w |Uq~AY,-@vAi#KoE/1m`m83MV"[ێCQ j&5BegYZ7zXZִF! q]ŗXiɟj=Нw(yѨyw֖Ǥzv*uqv,qv8wftN5}T]8!O&Q Z6OfRLg4C2{ћ⎬7mtnծcn5^E, foioLJ| a~ZStw=[ >D7'c[aw 9]MFr/& uS-4j m؞k-]rMҚR~ 7KiƩ2JʎO3t E-5PԆyd["4/,|}WKTŒԔ L='׷}Dq?Ll/ *GU< ?\u҈IЬc Y6 m`tMLBYK4Os2P^TӴXDp:IО+/ ϴD"*3eI*e ]@}4ɯU|HtkeOH0x+kJ)C:>MSkw|B r nwye\Hy9y;,W$8=T?;{M!ǖrB }HKqKx_[!Tx)G oOY)/udY-RmMlw7.aIEf@ևjDόmQov+(S:к嘁m}۴^e顴)uA|$ˏ`(z!97jzWD{;"QmptHs/u+"*h5.TBՏx1IK7K=1 tW&'7Ӎd䠦>`bQ;id9tnV"g9nvpZ }xuNv ,w/$=8Үۘ[a3Q>bi3}I_`vvKҧJb^q>t)#k9݋~J? 鑣n (uc $ҽtvr>2giAedTPa-Vɑ1>~#ی -lV_ྞ?]yW[,t\Y[^st{9N4WO;H{CQ?{D9=Z'Mcч(Cqn4 b e-+A.}._pHһlQ œo~39i|"٫ bzK&7ab }3U\e>>ݹӎJ T4H5){_p(]yW 񞻌6?Z 1㭰G 1(hMq 󊃺Vo:&'i"_+m\òb,F9n%TYwm9vgP1ſo7}<Nhy&d+K, B"pյ_Bj 6iMDO-$kwsD]NpZ8aĘYyƤ>Q/X~v;G8g-jh]йqKskd`P[G]sGf8(\bx {S^hO7@(*֍J"ܮWEٗf\d#DQާ -pG@}OjFc E`&R<*Vsdf*۝u#89F p&Ĩd# ]FKO 0 yz5-/YB;XsYr sQl1i|SE]T,E~Е[7-rc?NaI㥛,B(SkF9)m* %xYm2,uPaE! df>֏<]N*XtX]'(`ZȕSr)zQfa:Y< D \aj_.]q2L#٧UH);20ڤC2Ra=f}1RCꖱgYZ2c2b72794415106987926c9bf9bcefe3e901ecc0c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 63aec6a19b97ff5877d55a98daf343e2f0e7427c e708cef555b4b6e8b9a7058a1a53efdddbe70ef6322b30059103b3f0be0f75d662bb997f6ea463df