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   g;$Td ] HOL-Quickcheck_Examples:threads=6elapsed=64.715cpu=140.180gc=5.544factor=2.177zXZִF! _F ]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl|ICY37F&S3s]= g@.HivȾTLߌƊV&YzyYTJ4m8HcLJNd) K_/'4!M49U^| =M1|lە~ppZW5B ZU'zC'CcR#ap3;4oъrhZUGT./޵h pz01kk#01jr~WcεK9Uwކ[UP9+S`Y5i|k8#g\[˄;5;l24bb>Q]V/-Zd #ƕW6B`m~UE$m]s/K8> 7qsCiʼn9,{%qBc""FZPF dUW0oDz9/B5!&l /Gr+\>9i̲$-:g$Ɩx:(<'G^z"彗98>+ב 8o꒲yI&f+ŴIym?a@l!)cvrd^&>"m#fZ> WjWg022U(nͤ[sam{Vq1Q i{Qɶ=aB$10ËrV¬e2I8h7ȣŕpM>I<tgGU f`w=4]B.4y-o^6CAe=)T'jTψ[b cXJE%TV8BǃB4QK ?'L0,>!XtFED88+<&n~56sD$bГ1%ԲibQ6/(/q^@&Q9aI>AGrxkܼ'HÝlKfII&ж46 ;NHQw-ܕ/ sg(N2 t^zkOb_3/l&kg~Q45n!9kOP1y/mGMݹq/ O#vVU]ٟ"ў Fb]VALOJb6Ooe-kl,71%U[kߋ ; HOL-Quickcheck_ExamplesvCЧܶfQLb:+]yIK[UWg6=6:A@' n86)dx* Us cPԅ@Qc^, !aI. nC U^∎úǬ$eTYjwy'eS~ [SQ#rJ${xck+Y~z\ qir}?BogHT9RϊK/Aq~hlw$g}됧77q=O0!-X2vH7adySuæoti>嶘YvXlDtAMsT$)\#pu %Ħ7]p6є9 /ew(b#G-d/q3*N2G|SPl=? Zd7z",'`" N~ l,bڬt0r)ᚳY4đ.O-&x]?m B$%K.,{iӈqW63eJÊrivzt@sqoRs)栫W_Y R]5/fXq!6Oye_AE:r痴Ki .:j}cs M7>zAW+DQ $ؙQMxx  䩊4FҲaSK n0@@ko\%gz)X:r,g`UY,N \1Hh.NC6f#yx.'5!ľrC eD)4U)24$b`:8#;ivXCx љƓ5GcfXK$*HQ!F@=莜thL8}=Л@JbYʨmY ޕ`@;Q'z__tRIʩpHX,5v]&, 3+je٬s@eّRta_9 x />]ӻE( `zc%Pj7%r4s<.#Ǟ74ֶahv;Utt;W- /,=ti<#S%kU`:eCB:OVH>RҒf@f~KDyS(e=.`8}D/os+UeefpDh)G超 ch^ơ% Z0?—$"nҦY݋E*kwR*sGEtفAYNe?^J ]Cfh톇#-3} %Z6:ar'CPLs y%RL`7ݞ!J!9q ueG~`fA#@XZzm9}c;Z3&3S]3ҠO3 3fmC.@@/; S3V}N|${ !wkM;D@:`UUu\ hA(؆+A`% 8$D4yf2p;4VO[_ y! UZ]|?tFzE&YQ ]ҹŧPbK; 8_܈r)16胯6W-鞊KNm[ Y OU29CfqCc=.SMD"-Bun1qz[1dT!1nZr0Jf\h ,ڂZϲg;JVQL6ëgL#8[6݌G?MH 9߉2U+7j~70$9}ޘ4ruL3pka8&9k+}K.OCc&9$ӹ5t|!K_ᭋS%N lEGtּ$$7 tcKCn\Zv]5Gq\uѠX4Dɳx/oBAK'{\:2A7ѻJ)@ToqȔfxYA8Hqj8u"H $e\13]QW,'/ES)cXG/N.p;/vPJ0O8p\>t ;u^ s{\22qL@OjU}" /!U{6maW cj2=bz`&;\Q҈O]nguÖns%SO&U:*օY'oՂ;/w?½Jhw;CuQI?|q5A01%+( @J#R|& Naf˝~\CM ,rY4mKR[ٳM ՝xF+MTY9l»oڻw:\n<`Z<49#92jZYL! u~_u,|ou꓊YPfl6:Y[T4We5ӂ%ə2 49Bd#:X!\i@gYZ4d5d6d5bf0cdc42dd9c82f1c4bc12d8e5d4e1b87bc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69 c85aa4bd2a6aa92c321b13913268c5235d4cf884