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  ! !T= T$l ]S Probabilistic_System_Zoo:threads=4elapsed=42.196cpu=99.256gc=3.328factor=2.357zXZִF! +d]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܰsgD2FmR`0,W׾r˕ٽZ)?C>ȩCga1ޡmM6gjļ֪ŭev$}-` 0׍w6jAKN?XY ^@lf515vC8 `uljw/ \f'!(a疂ݮ Fbsb'ban!0)ޠ?L [!j Y@-cf8|FR Uu EAZ79D:O&/7QC(NcI^Nݶ4H,]9 J|)`105nHiy- (FιɻSXUˑb*|ЗvPfGBIP@SdBcGQQe| GRɨ[LJJBLO0aі=詹s5odpRF9 짋 ؐl1_)s'7Aq|PCL)Qec|? x#C"h0,]=hcwn]9'ۄW??"YW#sd4RAbI- %cS" 9E; ygYZ7zXZִF!  ]ŗXi%BmC_$WiXG4q3U1>!ڊ6Zgi5+~)]B;ۭmoű9Ay)jڅSUɜUdAq #F-ƕb)BNSv Avju} 4Fkvu(a`;%?%ċ9 R(϶ 7X)@O7J9Ј L[aĉ}UKx`~=&L}uߒʹv3q;Ίozq2X8 KI5~K޳k==z[ H<g(/ VA_o6CJ/B.(ژwЧHO)<۟U;*ϤWq/M9n)?4n)znH@$ۊO| JcFDC~yokWXAr^ YyGc HCb Duk⮖kL\GBH43\$ *DBQ%q!BG '@w庲9Y-t0(a/$9<D?i-G{qA_tGBbKqg_ P3qPX$f;Ң֤0@bgzFZziKZʊk湝'>-ʁK(zGBu> BKN$hVQXuk?j[Qm|ս?`-yX&ZMvSh1,DDq'.HD_8W;}eL)Ʋl\,^΃wj'f=Nv0t| KK%`EA <]C[|{V&0bU @$X.HiU{ޚl^˭ uJ7hz"\ot86~cI  Ix[ΕtnmVt>vp+Ѓ@;`hivL~;RO*{W6Qx[H>N;[43foDŽU_1x5vrM<ϫ>pV [_]2r'VРBܥxc=?L!=Q:dWb+`EL:ԺM&'X|>?~(a`iMcaqe?P#z xy7n e0.о$˗1WKPVje|`<.6˦l|@g=hNP`A/qHg%q0Ͽ`5~}Pg{ |CĥF=N(+=@_=sk{9\}7?4$ ,ZSg#̭Y]cRSbuܘ"bIO =g"izcτ?GPݡc\VOz+]Po YMaٳ)g{m{?GfrܖyΤ_ ?f 5uUNfs9w7 u @d1M2NI\g8p #CYLB%bV„/'փp#P͢ P ,l봶R6vjaBΌN|(%g%U+cdFu*Kۣ5O#p.WU+M_n4P?" O%CY.&5Dյ0|swOA[z { I,?['Bk)^IʨHrhA0锒(.ϥX?ILKM,pne;i#wϤMΉY Οÿ/&X~Kdr}-NwLOo9!8H9Ml\ni*x[޶xHE̺r.DѲӆq@Lv_Ʋ(+:C[C5dKP -:V'jDFf=4kNQ2I& π$|haL. w(y?)5G&zzm4{n:ªj}xԗJ{Ć9D꬚ŴPھ*%Ţϲᗓ`-*K,zyjIč5=H c*pS+: zJobDژk] [n}'d3L /#wAS?"dRVIit &4Sy9TMuRJ=ϬKSH*?\ @Xqדve\=)E? PS*eEo&mᕮ-7Nㆥ56 "Ai%ABZu%Po'e"BJ{/ZGmJOJf˶2#hP1/OfwwH rϑczV *v<%s'cEs D1)/sqQLGIq(maӗ[G9