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 s3 tDt ]S IEEE_Floating_Point:threads=4elapsed=26.905cpu=74.232gc=1.496factor=2.767zXZִF! !b]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X\V[G) Xe^T7qQdjkڸ` Ι݇^Rv9꫞>G MN q1Ad~0EQS,h[8Q,8 ug YgMF p]фN 4=e0j\eS"iI^-|~)~<ܡ麯c}z,Q Hr`1ۙ`ƚ*pmkرq[r5!?CgRc=~ظ1;9k,vj*7nM>GZ{C gUl7X,O#e *Xf;̵{VYz@00?'S-w4.J}wT{r0(ܫ ~7bF[7R=ERGE R~0Xm[RkBGK4(ԭ TrŰ<8{EynCV|B'T ':(Ex#4udu 2kz0)04u睻`WH>NZMw19lD*,+GPb+UHՌD|ϧ8歱*ؠu7@KprU++j!MLThǯCNy~1''q煰vLa7u.=;6`i'jC柧ΊS2l9D;AH@S D+MtTjYM caK0Y:r ",k G\?oo;(&{K9xEIo1aO=ii螎~iO0KP |ulL,"eFzwǃUۭVC )"?*b/ Ȋ6G 2BigYZ7zXZִF! e[]ŗXiɟ1˦r+g'Dgr>{pNa5R]VJbᲩ7 Uƨ|`pANŻpdvhn,4;lQ.;s84n]WɈMO5p]ŃS|qv{Ь榌YKGXPNjѓ ބֵK,{O5UF]VL?}P*S#A2/iT=B'YA~7mIKs,`;YDygI|@-!ZsVIzmRCC_w*DAϧ?.^05%D;4MwcrZ?mi=퉃@LgYZ7zXZִF! 3]ŗXi%B4UC/kl24舗vd{3N='xAˀ_ $*HBr^eLyEȇ5; 0 lqGK\txy rqlZʘX 4dp{ ^/.#+XJMPMfJTv=xA"gF9:;L֒yKd p?#m%yB8wgzn;=oT]NMZ:j3Ivxr2MLd(=jP1y$TkʬVϛ 6^Wo nFO+[TԒ_RtqZ>9 ThB_uMm%!u ziB}8[I|-Q*OŮk}0=kEPc_hT2`vdt j{`ZO*fɺ{<>G@)2;*bT툱m^fpCۃ<:R\}AKħ_{G٩"V'R;!îp]F h "\:io1{/k"u^QΘB:τr]Dzfy†ǎo-JzğX؆RUu,Bm"#u/ѴBwL0Ab/mtGMY=^tu4^ab cdZηBu2p/[K[:%JbV.D{>-D*[Y m57Weou\Fc&,ڌʦhKy(!Htip_}_vzpiJnS͸>K.4X˳C9"ђE2 a"𕶓7_XQ'k{ZotnvA>4$qia^.b