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  ;\ ] HOL-Quickcheck_Examples:threads=6elapsed=64.626cpu=138.104gc=5.204factor=2.147zXZִF! _G]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@q0R F wa:)&e|h#O%< 't6^-רtm%ojLfedwSlp'\rteˀT(1 k*)ˑg3Qh]dx iX~fLF# sVHtG3~ ޵HYe<ǫDH0O}2πhށeH &Pս_nʋ%7ݷU5kka#{ty'i"8?tBڐk I=Q$ Jѵ,aH3cIJ|!"[i82a,p c^¿@VUJ/ZjmZkO6[9-<Ù_'.j9tjzD}rH*Vk\y0"CY \kt,u ĉl0^*~A87.IX=3˺Rzxh>dpi%ǯYy6CJ;%Ŧ0gA XksEͩ@idy@(b3lHS?Q HkWl zs,5_ eYD `8H~vlTy u_zn-;OQS V%Kq<SCJ]$`f(X}}> Ʀ)<]/SxܼA HJ,KJKǡ9\" 1K)sղ$eAFa5IR٠;|{BWo91l 6)z^ xg[AeBk|AT=Qcc$J."-s݃m^W%ru7q 9x-VssuFo򉯛`rF Jg 1"k& _9ƘY.Bp#˜x+ LF_-'ʊf̗6ُŗNZZ 1E7 `#חr T԰3*`{H9#cbzx7h*`?T2k2cxXq_WpzBƾ JB9ꁙ"H=vPM@c{ $%<.Mź'Eg; UU$+q=%;!9T0 Rl|6AS(MH >,DG:V=]RDVOx296o |YFOc{K̠I炢SFhVs՘ AN\} .;v`A*sFUf}l0)~埱?Pk +SD{Nj\OW$蒼"ž&7&lv:ƃ>&1_)kש[ms KWq,iW6~y<bF9#GdɹL&T L;&D N3-\gDIc(!%45'+GM+=op\Z ߬pT%#0xqc|yˌ"4Eۿ9 iXc<a^k8s\G<@>@jgp<3 "sզ6UosVB'd=Sߓ/ԇA5;S az95OJRo & HYc#_WbB댕e_{xrD3 1JEC13^$Edgbt?#i+ϊSg_ gs !t לxA]u[*8Џm;,ua9,xEIMZQn̹$88⩅ ⦦;p0]bd~RnEݯ=cU哩*\3/)o+xwe ɽ pb0iw&Fo=򺄈&MX NCd"[(&DbN7kfEqo_]nγ{UmߔlS#b94LlxYfa?}*$%U?b"Lefmz"&BYqX\"gJ C/,O[)&hAuU"nh~k^t@8VC !H(qߓ+f,"aKiyI߹UZv$G6kg)?qhr N=u)fzYknWGqx*