SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  u;l ] HOL-Quickcheck_Examples:threads=6elapsed=66.292cpu=139.584gc=5.360factor=2.117zXZִF! _0]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl|ICY37F&S̽!FƬ'׈Vh9`w9 MG@T3[1T0T@W]>bkeL?cǀvAB4L[m{]_;b)kWzr+eϥ(?7UQy*zcZ.[y-GZ3jD`3٩?08&R^뇄CiŦ9BiͰտ" 1Isy0f!ޜuuZ_/z{\Ci-_@]qT@?`v@I`8MX43C8ʑJZ^EnDn&{FxBL*v57a-t^0]%N{F5(1jmCk.G0ږ(z#Ġދ}@3Œ}w>txĔ%IBNLr"3CZh~ ڷRfϫq&#kert8hPѴ Hn"K< ̉p7XA}T)B 0C1NbN5!˙+|AwV߲xВI8GFHkXΣ]"yklC2ԋ12)8'hG6n-Cw0z8ֵ#,dM͡~rmq@1XFFt$ #wC5 Ed~NGrX勤D~rjq.{a/jX21Ž̫Ctg@gإaS{uw|}rN u=TJlbm%AH%QTnhD/^n C4,"Cv',JƇq'#ZAR).ߒJx]_78I^-KIl/Yt !΃6j1_gD@v rb];Lx*0Z86 j1Jfr@ >ρ]N0kk"-+Wmh+R;!ᒰwOvi嵠E''"J۷ 3PATtd.wd `:X*jZaj'5|xL\ƽŬo ѮFo:H(ɫV\FhocU܇qZM'@ZOtPNA¦hI?eܺ¥]HKY@@["g pk%ؗWĵF}~O~a27 >{r P}D45 > =Cɜw7krH$ނMt{HBhQqQ5}ujTUIKBcP' 2e3=sA@̭wվVCug|\,v0ʏ9=ȫ݋]ޭiY.zu0M*]~gkѱŒ#l$Իh/I!&ԭmzyg IQ̏bky>bD短"lڀye5̈́Kb440%\{beOu)eLbPq&ȹO"% +֬(p.}za;TZ.MމTn;4@}Qޠi8ԡ3agfZLۺmXiW8Jv{i%P .if;,jLr[93916[,TL5TTޗ՟ѝ '(~;Ɍ _^]ƎohRUoLRA)%P·)=8쬻G_WN3#*&1dNZz5~֮pʩW׼tXXꏞ~PD(>23S= / c߰e0 }oxF/6bqY h D"ߎ`gVO82nM_NuH $_N;k)Fm# .B0yo`.ɜk=&Ir ު>|0U1h*'pˬ1dc9RaR =xb6(gl^9Fg&v0h@!1n/sK@!bz&Zz39^){Q0oN" (_lOS9ϖ!Vx sbVV+j 1zZ~E(V7=[c8|Rn yi"bƶWo7#bEu/'=ÝV`aAmeFƪkm`Irι[C>m~V]̥\nc:<7ӣ~Adw&uC,awF!g']e y0-/m^-ndgڳ\K.o9+,hb鴣i(;[ =' y Xn[ R\RNHV]Z}zS.fta穀KXooގ1C$F9総[..&WOByLL5Ҧ*3$ﰀ|Ckdܶ ~\CQ ?CJ;ZJ:kaڎG9"o b;S&S\N]ǡf|"ŰnmĘCI_[KhV$'BL+(SI!. ?Y|ׅmh4RoN]$t! jN޷8A-hxBenNʙϊk ;Lm~U*U&Tw$ƅ_78V!#+!&=iZzP԰x^v{tT#V rWp.OBEXygk,i 03);Vx"']$ ݺfc$xD/. Qz1g^tbQ$ t4lH=f0RlsZC~O]"'\D@65$JgYZa793fe4c7c8e70d6d9326455541c4410bf564a6d1bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74e