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  ^ ^;tL| ] HOL-Quickcheck_Examples:threads=6elapsed=64.364cpu=137.164gc=4.916factor=2.137zXZִF! _4]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl|PH@b:>:Da0@J7 $¾ Wh)61Jg`FOinn:Z‹7Z-Ӛ_d8jQE-,B.lЛ'JUtzpf"NMYc *I:lEdڠqzߎ(Q&*[i_g*(*KOfe쫫=5QrL{To|Yj. LI~CC }Y315 h^/$6cy iMQAmUI~CflQy.PEm{ 7c& 8%L}5kb\u vd /cPLKԢJEw~0Ӫ% ݱK_zh*rWU *+,zs7~M02#\oOAaz0 QM!|T/~NhYH(~<`"X=9ōWN娶IM}i[]]AC}#3s:5[/&Dl,0[+g]] ÈBɽ@ioË{3Z Z,XrWMNv= =A5lWmDezObN\>P[9qyK%2J0ggN&ճ{m 6/>gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW Q*`T+)zj~"E3@'6ScR4A2:H(>Op퇾hi,,O?j){a wXƺ/rVEytӪR/[WBʎ;׼:-mb U#Dj׀nZ #q kgYZ7zXZִF! 1 ]ŗXi%6ưK 3y# .m}"qm, f)z;ҩl;u;:b8M'{p|aGl;7H{vO=*5"_8I)fߜ\GdI 2BEO :Tcu zY@ _3Q9pVsGbM^lp$Ex s)-s.FQQa!g::|}!0NJ]33J "nB1 y\:axi'ԔcG 2_%^~A%o#UA(=-J+SRC {f8"!q5{q|FO`Pȯ mVq~EYգWvyݟbאڼbZj*GuZ= .ۨU3^T:CO͘{Bλ; H Hw<ޘnKWԠR 02M31XڈP;j0NAb ]Wެ=_]$l)XOT$tT~ ^氿1A@5U(σrվi|J~tWJY.W/.o&g)?)nP~qSnC0j$.=zT>Sѽ/RԊI\Kce(t1/i.i M V`)/Jl5+Cn,>I`Uv^kѦ 붌h(-O= ai\#/yfOꞗ$aV1E q&?I,@:5uZ9]G'Fb]iC7]kd{~D#}"G S=F{1NQ2RRh) ܽQ#{V::L@]! (M40?^=%J`'iynphC0qzsK|kp@}v@O(Ìk:/ W7zGJs )ָCfKwoH+EI]r&p)Krgw,|ְeqS5숡` NRJSvL|4DnQ߽5B|f1li9ޫ`GRǻgS 3~ljOUK`1Ʃ'1.{ \^|༳Ϩ1ʀ^B5H(R`YUmfjXJ蕤 j)z/[ӵ 63,5r}Ȉw[qZ6XZ~` S}K鈘i찬 ,1N7b@]"K,]-l0bFse3IX9. 7?X ]@ C\Hj#@ !Ha$ő,UNl5zS)wѺDŰYNINżY#L~4\B|8B\D)S9EdAd(|̞CzM} 4@]DݢȾPȇR Մ9҂NwˆJeo=:WR.DXԣzƊuKXS\s/dA_Df{n.72޻\XNV->maqR23b4*;0}kaR?;/kJלmiN23W@b]Ht;Ŷ6$'報 mqXsIyvn+,csUQzRX^8}>l|v{;a1Z~1 U|+- %G\PW$+ٳVK} r-_?IgguRѻ(~ꌸY,{P執Katt>KIBAZ"ȸ3 mp z`j,@\1w#(idb- p>!qyWq^뱑jeW5O^5n" S=MZ|DKJ$ ԱᾫdB:Md16\E ֫ߦ`M@9Yg3﹪-YY- ;U xv,QV<\Ā,FaŦKCt.4AU@NP :s+(ߌ'O/=c(҅y;=EEoҜy"L +> ?";{9~H_){G۵.o4?nq0^SDmQw\WWQD{}ɘ^Sh۸γeQ쭡Wv p8RNtB e? NvS>㩿@Cp{-5A$pƢh,ђLSs'`gGfGp3:!Im3~m|{أ:fmpPCSFƲgYZ6c46fe85de4134cd42050ed151a1a56c090e52495422efde7cb6d9163378abac38277ec5e6492f3e c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2 fb804ca3d94ce174085e203252226b3b2549f907