SQLite format 3@ .0:  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  . $4 ]/ Heard_Of:threads=4elapsed=28.666cpu=84.668gc=3.020factor=2.957zXZִF! ,]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l =UȲVhUs6GWE_(& TWSQǺ= atY{ eP׭~R:<bmJo( `j7bQq/$pɃ'0 {$\c[jAp8{mOMBMG.dib23>lIn/Y΍GTLmb}}=yL ڵjlLgWkLWAyE&dr)"A-2W$y1-fg&6ERtgaCeKAE64 c'e}a@r3+l洅$]GMDmpP   Heard_Of  y8Bm?]@VF9͞!?%5e8c-wuV!$F#dte퍬6 '/P|YNs(e+7Wt2z7z%%WaRF2uLW%iOa|n]_dF1plQ]&,2Ï,Ȯ}k/@i[P s[ -pWь-~g4U9,kflHK ͚A)eܩ,EV3aFN@0k=!M=A=TRpJ,r(0czD ov=|J<#VD9T'1ibTG;k?e*cAG٭~cIKɆx;@PZ#L7L?!=#X@XeۚBCetLxO\BS`"I{@qo*,# 4o&uk#]Η2kH">1.rp$[Tra8(hIdP"L O& IO֋睸G Il8̺Rnɯ+q$iZfj''E|S󵙺ikF) 09H"*1w(ZM("C^rR{FbƓ[ޡ`8Yl#ӕHJ/D+~i.6ŎNw6:zkg\ݐ~Ͷ|ׄi/ژ}^1H=½'z'_&2+CE=p <~FS߼so!C5|{OG3:M+i\F R\} h9bvN+ϑ ~%3W$~Re!̼Z;F݋)Α|t@6|- Ʀ] b Ҏ9 iKLGd"mc\{2E#ΖT6#(PyD1Ge@-`'lOy`/fz,puq?B\!ܸvr':!UA+-Ar8$T {>aOb cA?lHɆ\X;[a9aCţtQ!曊jW yofXaTAA *?:*mQ;޷k V_L \OծE660yx{gYϺ +ȅI>d0@g#ۜ ӲTD?w=Ce?Dч:\Ї%z~n'f+r65xǷ]iZ9cY77wI@=S-Q߂VO,O<.M cih{vyW(N fGWKX:)H(aM^h ;HO߿1ON`*1KJ'X aF4K.R{u@SN*ERjfܤޖ5oq[vpB+uAH0 E'+A*s顛5 ix0}DV S")kkN2x=P8 rq)J7O-[Xz7yH0UU]QS)ٻl bS@NV%Y.pu)=.J%$&sDiuMZxW=ҀKxD7Z 5ąS6Zl_j֚ .Fa=Vԝ]h24hљ@:i_ͺ!a>yTSgJ~[X8]Y+8ѫ+N/9%V?Y0ŊWc5F{)Dl9'jFpn~bGeϒ sQVkɣ̓fZÀ)PQ*ŝSOAyN("5 q< (z fšt)aZ%lnuljq '3q/^;(7Iik"|>#kݞ$ : ؋Vyp<X@w 0 v%7GR۔Q  㠯?} |'OWr=VY+NcտO:(O\:Zg'bT-aMl~MVݕU\kKDŽ ki 2$e("`wsH|e!OsE`W4!qz2Ov'zkTe] Ew"83/R`5FM=c%Y D&˗XaUP DL׆U1 ~bCe3whmmSHA)(ՠ3j&7YcBy(l{eD"cH&PY!E}M%A0Sgx~&+W^xǣ}s=%^<1`욃,0e[z[0Bґc}bx⛎hgZ )ɂn©}6(&ö?{&6ߖ2޹Ny4 ӡž x#,~"NyvYG5jhagYZd60081b7c3d9c27e59a0632cf192cafb22e9fcbe78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59