SQLite format 3@ . BBh77otableisabelle_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  r r;,T ] HOL-Quickcheck_Examples:threads=6elapsed=65.822cpu=145.744gc=5.296factor=2.217zXZִF! _O]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlhKBbwy'Y8Apͷ"޾(D7#xjc8\gKťއ‚bOFwo{qg1R$Y=} y!֓?׹C5+4B+Bd|.D=5rO`~QWC0FўRЌw)1CL Xg2ќr*ए~fy{ž>G@|W ߶gpDTN'x!:IJ܇_:Hι>S˷(-Jg1C{<(X|xg)E]ʓݼ:pqXJ6(8<,??1GmPh[.aT؛[4 qk9\i!@qvֻM~x0_[`D a. 'SXel|i ~v3Txe[d8C8L_3RGs1 XcPgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2!Zx?tG#" h6$*un"~"kcսpK:c6iL_Yo'8ոϷ??btJMP九-~݉[].ګ>]UЫ9-cLnx2T=g#K=>K%>w3gYZ7zXZִF! 7 ]ŗXi%6\o;1Etoha5ep/8V@'1L r@7~% d͊\i+HuXRCFЪS5!!#S-Ř|8m V9Z_Tv|Ŋ_\·؄MܔI* r:ǐuO5J@iyny)c3n28|58U,$Evt P(|GCtO-u :5SZGK붲9$@Ho,qym\sPi8o(|ztQ'qJD`2(g/S`PkŃd)HuɄtDLDxb7w 08Կoap J. P]sJ]%1&~ZOЙ&Jͥ#͕jzx؃&SGPR8.󳵛[rJ.C18'ٙXzT&T]<^p4Hܧ$.kgYL&SzMжZ ՓjkxBnPP' wA1{D:CWΤΝL(_%edS= ?_1f%8?sLQPQ<%^'鰑*mcSJ[<\i<4u [*BBEV_n?mQ`%%kzL7<SDǁ45Jd=$sϵuLb N,+cK|}o j6».-H1e kOYh<~E *>]GeFE珏@Ƽ`5sjiOYE©Dm?)0^°P|dr7Kp{: nxM*8Hj 8QcMIns"<>/.@L{d3[xSB΋`@dnx{j\5XsÃ$ > Vb'nG , ^&'7,k,"#Jr*ܴ@1]P8ѭgƜZ?Uh_r+t=iC56!HE& H*/=է܅] -ʮ`iOt{9FZmmY|m1xl˓b-SjtL3 7WGjMsK/+n&yT 4]Wi!eXɜLchq-]$x,~F*H\JQGD,|z !#쫕eZ|K0I Uw ϣ[X1V Įakzfm*^Zd7MxJr)^apZDWerL;}Q1ȮE׌ {;p:ۨURaU.hԿv3qzMꢧ$Vxa^2إMf|`OM3&*Ez}Z_K~DZ2VNh0@ĖKC1g@r=)j t@ §)+/g;x8z  .]L>q >ÇWNF@BX:0C0L>ImZ JW6tt $G9Oi]W'koT㜞Dj*GYMi(MX$=vrބyX6ǂ5aZ9}FsJHp-"C\p/CmќG2/q٢6jb/=b.Y=J1MG0vje8SÏM4/ȿQ91o\8kt=uT YEQxZId<EnX@AM/6`Y /0K ,0g$ >Ԡ(IjQ`idLB"YdN2F s}!EwTۓoqr Ʋ'16YRh`|n&:hxWqg^O5带M d@ǖm'HRz%xŤYkhbUH'y|,=/{ilTGԠ Fu]R] H & вt|8eRz.`Ao7;&HH񹶟mTЇ<Ј(س1IR)U *fJs|S ?[21 PA㌓&̮K;{Ͱo|MEBR& >?#\Y/(L1mﵡTAAd}$ \Cf<^̷}t3/^`F ba>C>=k:s5/fn֠ɤDGH rMxdd߱f2nNӈjZ2%PlW%סj)Ze&ו=F;- =%Cض갘UPB6U#V8S\ |Si۽@|˪ΦhJh4R}%4&o!n;<U#EUe#8l&jt 6=$-;ߘKk]O0]v7z%ڴ\鸪nWlF>@_~Z|Ώ`8m-eghj,H! ֗6˕jX&7[~=B[BlFZ;&(:GM;QCJwk2ڥp $; YTm}j6 meLd 6WDX[vr 20I;"`_ yD"}i,ǩzKAg4~`WoARt(óq8⳼6&rx8<,li"0!USZ2Rr=i/#8 E`_/]y储;OwҺk`@LQF13t]|;0M\R!v7 fגU u Gr[_C4h2Lm/Q-baȌh58+EeN|@/~X)')&8N!;3 '%wY[\d}(ښIa=رgYZe4fc85c57768da8e01429f3b9b39560eda02b844eb06bb30852b87bf08fc9bc974d190b6e06c78ba 540a2732a3304e44cc5d86f9c84329d38f7892cf d749aea517fbc06a61631cf5289aa51b1581c100