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  _ _;l4 m HOL-Quickcheck_Examples:threads=6elapsed=66.092cpu=150.012gc=4.956factor=2.277zXZִF! an]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*iڲ5%lO5]BmafmCkR9$iV@މ;oMI &Zw6ˌih~; ΰSS@ՠg;f0_NQpHd$n5،F4E@R[jjچ}i$EͶ(WKv6V)c?KWVuwi\/xhX<@+aRn2^𻷖8Xa VkPVb-\U7giegk` ܅[!D؁ Rm]MKw!x4x9.4UZh{Z_I﯌aYO^6E~. oj2AҲ 3En_4@n^WW_#ǢzrC&@SQ_ {)At,D0ڜIo ֽ34|V0lhE$< vҞ CF -ONWSPo];ld&-x9?vS+NQ}hNd7z8hK/Iv&ON%r7IԌ/H>tc2pwFbpM9O+ƌ4$(2/J؉5KN?SڭbwtPv+R@Ux"qJښ<44ƿ| 7:X{<3Y9Sɝ0{1q/< a{H| nra"1y\UK6i]~E\'^6a!2 },*&Ӯ5 , '&UW*!TZw}D!T^qZ5j:/-Rmo!'!POHŅab P+ `gYZ7zXZִF! 9[ T]ŗXi%-CCXAM-\p*JMR\B85*稳ucqCjl,P k%&`$AMF#­f(|mYj\=YBiK8 T^NI2 w`; gUeh1WL=ZR2gxJO =OXᆯsmsGfxF ]l=4VTI`] `־;9BEU[=SmE[:ǺF{,R0)av€Ycw> idXXD{t{Xf''q5TRjFjb OemV7&$m2)2Xc>]MM68d\18 }19;=r||*p9ۨJFCfBkm9[#B/‰bA6 6r0dSQG42Ҁh f_9A:h/-mYeyX0,whX%"/ٞ;`٪xMLFick-׾Lө"UAP;XjK9<3فxcLoN i[1-U$ۭEOu@ťhӍCx@ۧABPl}[֛ĬZ4$17'wru1mA3ƭg;b\H`:uCth9FB)=^Hp0 mp>2_%H̎ΥTM/R~$TG]Y55'Ƶ:{j AS>m ë2/Ԅ9jmfдZ q[aU`bF/niL9BX8u}I췏`5kݛcl0eYkfDzCEg{ddfKXڹ WӖ̪Wz t61瘂|4⦨piaWFdB^,TUۮ1ѭl%K[9j]ǟQ̸o/Wل L0yGyөG~,CdKHZ$f>W ITL ?l@nU+׉nYwW U ,h- V&W.% ʙ !-Wo?󄪷w, romu+Y}*0fd̠;Oݢ[INU-P}T H.. ber\bKfeJ& "kc ].;~f.!'h?_>2|sERC B cWj2<2q&Sxݩν KwȽ<U׊6D-_P]6p7N||o76MkvTN{9DNqWv0ZNo*{A.gUJ .R8{YǠqx8 G`hR}sD)!{y{{%'zVǦ,pgVt~S|9bN{6QUaEq9 ͔'R Z^ՐHbώW7.Ӂ=O,摺t_ hKhwC9e" :  -Yzիy;VuM@?~\KR:R—xkVZ.wņ̲Fm ٢!H꽎Wq8Y&yOQE(Ȱ| kR(Io밵1Ju qSyvK4s?4+]N0d/>wSQ< k Fi>V>|N9囻Q힐Epjag=׈|p^ҕ!+:E+;IG?L/#:tzUҾ;r ;$_*[ƣȎ(߯Y'ߴ*/BqM0iK fe6F,fS|u#nE!&GQ`~Z|܅Q(/K$ nTnl 5,u(ǒQ֍\t4}UQׯIM+IR9&,H!zFHAwB sb_#Q/vO{EE&,RYqj̲9dx}͆ WC^9_F*oW0-t5Q\L9|N%m5ۤMeo\ ?1 $34Flf;sB[v d,/< 76t^2 _>Frsy~jxf0ɧ66PZO c, DMWf)pp N31{y|wnI: *-Gh9{B~!F5PP`lXxU7Ow!Xl:W>+8L bYEم;v\D(ֆuظ3?_P!s6Q&`&2.@ \W/I/Nb?ynplj ݧHe⼗9ұ9EV뭃Ts^!d'o Uu1:8r>ISu~~ӡm|kuK*eQDT^f)B+yI ۃZ!څ^ar" kk6B.Y_~/T'NP[.Kvq{%,_|A8YWNG ;/A@NdQ"(-9k776?. c_20b$(zB!n_^Sɱ;4Bbv #w6Cx.WWJy?Cb%? /#a"e{KO ^i,Ѡ/~:hv9g)hե]=qD?sc1{gs\U*snHwt->zfk=<C>! N!E|s~]npx<)¬O9K\DNtJE¯6nsۚ[[RD= ܡ!\xVoޏ7 5_O~c$=.987CDŜ`C2 Ce#IHHaacWdXL(]n ]cA\c鬌f*9yۍ#&RdT !a:hlљEߍ17^ `d/e|&9BgYZ1a10ccf87a1631fb70aee9714bcb344bf4ba099c 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 6fd9df3dfedd4d886d1333614a66c3285a8ed17c 794cef3afabb1c309864dab5c04c6c6946381a35 7d4e32e4caa4a33c17dbf2b244497ef95096effd 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a4960cca662e2875dd6ea0399657d5a21044191c164f1 498f798a27d059032973967fb393af501c0e0d14 2217e817245a6049f52772708e698ee8afe42e1f