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  73 \ ]S]Probabilistic_While:threads=8elapsed=21.219cpu=85.468gc=2.573factor=4.037zXZִF! /<]ŗXf1-q恈'+]&e}0mz_m,$Dk?_2 DhL3z."=/#gH{#EI)vc6d {d2JXYBՒr!g1R)# ' 3 Probabilistic_While  gEY5m=v fOREy/,49^Q{سoǖ.Ug%7qLN[u;g*51e(QWr s"Boi^NO1|R٣/΢~&9U:y~O)8BOf20Sa^.TEfT!:]"eT'\=pPdAu!kHQZ&*Q2&}- O>Pfb{ڥ.lXBO8VX㛚lΡ{b:c }4Ȑms[ގkûń{Xe2N~q&vUm)ȻVvOZ'*z!İr."-tQjmdCfhO ?Aǫ3pE^c-76Lc'58|%%MaxRXy$LSFxs1u7k:lI-xZt:0!v=go25(4(8H֯ 8~@ّd%Z,U$B<OX¼*V@Yh}+I ZvyR=thL|5Z叜zs qM M}tUjalx7Vfk ]M0vI(Hr9hɦyNGDTu( Я!b=gP3`:c㝕Sm2Yfx2%w;>zO~mVsg-|\c A2E|B{#Иڟ|}EJ5anήNB&,HW fL ^[pZxv<*[KA {J4uR)3;i~"MO[;i oN֒??1utRL6wRõ,. ^ϟagYZ7zXZִF! ;]ŗXiɟ˕AR1^Ko';ce1Ֆmn n3~*Lj5@\oռZ;i* ON? HPhk"LGf6mtq+bXOIXvDX]όP+s]Աt[a\U@/ՀXF:^\Ut" 7Η$̒[Nskĸ55ȏ(\"EaZ}ـC.vTNÚuui<T£6cCUZ6Cyx9Fӻ!q[ay8KL;>ӊ aga!B4.W;K!Iͩw)t) xhYЗ ܅pJkdBclOb;F#7 gn&^KO R~v| h4ggYZ7zXZִF! {%9]ŗXi%>t{2]ռhe .:3T\6dO"I>IFdAq+6áp C"wGoOBfts jnҕQ}О.6ahRuYur$6%ud}N#k dK]! 5&TR~VnӪ,v՗R߭Fs& lOt}Yr%㡠+zJr}:|uMA39sgr&]A]rt %CpŅ:EͨiӰNlA=e c0B[C*HA1n-\i| =|! K=,NElgO$PɨԂ^œG24Q`U+\a>ܩ?%9Ti 2/l0$fŎ fDr\1{!.Å^,@a"̤nM,i ELluV;wD^IjҌ9ap3 l+ `=ŨY͈ז;&TLZs-L0 k}l}s ;?>}GP/b"OPA7LDP2,(p#LavX-$ڦd?|28km;=FX@S=[b>z/fu,"mС|t?ȑq${I"eoaq`$Q²nn=g 0T"iPFCÁghN@IҪ UO͘),KV&8&@r> \Y>Uidp10 c|pX);`-I!E6ε&щ'gZ $acU(TTZMiU} qGzl? CK]?5ls̉웼3oMȮ9nR?ҳǶgv}rƏzukDڃGf`q1qZx鮱 ~F+ݾ P#b;>2Ԍ>'7#dHpʽl.5C֠XQ{|"s+vck#a!_U\c>xd @^ۻؗx-8 *+Lh^7MCzf@ 8ލ]w 5o5Q 0\>'Ɵ`7a(|{[d{q> ) U?`m?Ć aOj`e5ZOҔq!Rb0FGj=ej[#ٌ*pk59