SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ,4 c PCF:threads=2elapsed=49.879cpu=96.004gc=2.816factor=1.927zXZִF! ]ŗXf1-qN ~m뉻LG8Q?Cެ4SwW{RI= ց볍5BcEkK^FQ?x>,OEѧ6>sG!rx;GӶEgQ*!ۣ}$!6ǥΝ!& aژ w;/zT Īⴚؖpҟb}Ra=\Z2`nI sI+?nŒCINNه'f Cfǽj!^:ܪû15mp֯1s.p_Yo.QdO/Jİ^0=QSe'cxpN9tNF&2J=?`9[mDMI2(sGF 5 ,Mz#(t͛ UtZVob[mʓwVĄ!z,c|&mb`2IB Er ȱ5An\KA܎ .Y׶?V1N> I6cbVJ٪Ç #E-O:f_!(Tn9eO\И`W␧r',YO@Ϥ֟d\`b Pi( طK#Ʌ IIZhX;TOdwv,Vϫn2O0x\&[;*F;1XZظ90'6/d;Q `u knYlo 胊ՇL^<5D{&Ct jwUM83 T;r^*ELRI\T&DZ m̓I[ϗ+x\J쾰q!GY89#:п`>;!G?L :Zt+iSk^DX쇐DJ7vy2J.#P?D c}QE/j{)Yzh!~Xb(y\YP֮,\2^ ^TCRݾ-l^NN}G)J^|b`G9.$Jh1꾉6~REW\jc!5 LYPx~V8SNԨ xB*ʄ>$pgGMuŸe}ToN]dl(pegՉPyq^)@WO+@A:# TeK}2cw 鶃` VijUYw[|i6i8.tM#`>:mw^Fn, Yg)ss̥v)|Mu˽n8ő[T\ Us_Be]N}%玿\(>wNXz<ɔjp)xM*.Q!RBz;VFl&')Ok&!ϟߦ= 4#OtQe%>PIpN g85(-œcgG#ߘpv  jG4f\ 4L؀ /@_I-:]^Q՗&;wIX!\}|/F\EWɊr=۵/9sR WhY~ORswAP}OgR9e#g-C0LT.MuCs -MaWz6ZbAփ^DO,|bf=ZO7:r 814Lf&ǎh^*U^Y?\0lQw:/(gRgݬS eh+Wf 7F~5ٖ~I~T0 439V8t'eKAw,rC,;9~?:g3aT#(o^ͪy45#Dqֱ(lfIX(*]?u] N?J{xٌS  W5P=SY6Jh#'9 NVcQTc&Wen^\_ՃnKS9-1 3=Rgzͺy/ .-UMa0< gOzHO3u}t*r=pQ- 7Ό2SNZU1x˶xz\ECDJ:N+ j2L,Lem}m֡5i:qyEnw Չx4-k ɟySBpśUxS0{r -c?G.Rb![cj:Q}}S$#.d<&W1*DiˡyJRAuؙ)צ#?j![v~<ߧ UT{<-֫S0}tzۊ3[DjYWE%@n@>{mYZI~]Ȋe7U"Gl c|ߕ8=@:AFR&FGHN0k_u$E&bTWW@Ħ7OsM 9ĉNuU/U5*_F!j\ I>!$m?wk~36ن,àOUNӕFM`^aa02gR0`rIS{yP@a0F`km>y(Q 5^#M%pfU<1U!NLgYZ7zXZִF! Q]ŗXi%DQ-X6Ӕ_ b_^yn %M|d܁ S|Y reBߛgUE$!jAWꄻbBho35j]N[H"7|[W}@ J Gx]ܲ%ŋ_>#> a$\$=zYgďu%u"8Tt :YV̽z+ M(ΨMZ{pP2(}& I&Όpoagm!V F7 6 >r;aSV0>D*mtrctQ+׻JXn(?/I5اfyGh_YZv .4ǤmCۑkdzڧDC>(T0JFKObKM` MG!Ϥ1(.bKCK'Q> n[aj?ldGT4XKySelD_z6xŕV[ TCV /` nZ$8h a;lCa9S)7?%y@'j胫4+GnsHc/GLUfK~8n;}i:)=H<ں𐓖Ov<Q?x4%yKaGZ?XY,L 5j&ޔ% sa-uL1+!Fz)Q/õĭוx8[=5B#QH cJNau rލ!Eus \Cɉ9xԙT2[X3ϣ{!zh [ {,jx'0AB28ʎ▢PMmEȎT<)ĸDL"NE9ry5Op 1 ŚRCM },5:yN ւS,!t8f"_닌D7㹽\q|Q@$/B{H "blIRn|\0i\II_Ҹ>13<UY\7?IMu9_y(@1?Qnn"4Ho~w7 ɚaHJ sW.UMr4tާm?gZY`RIɳ~3D4ٰ k[~E+ִ}m_~&'[Y̷5Ft: uqXntsp͎j23F"A{8r ɁG UD[]+'1-+U*ͯl$_~ӽm8!-rsv_Bg2[v= ~wm;d* OXԁ8|%E~&SPqԟ#0mqJLEڹ B&'bTM-[ZsuV实ʼnF:ФlU´:9) =,]$eDjڮhaL "@)(–`F[+.dZz^\lOc&.PN;8#@+鴴dK0 :5x\ܱ[D+VWK VgtѠɢ9URxuoH|~Tg!EH ™% ͇g3&7[UI!xOsoP6C/C8OgQM.['ӍGSLib@15$5WR$Kp𿪢xmXcf_xaQC%pZC+=+Tcrsn,t%ln|6nxUϴ '-s:̶UqA*W>W"Ȧϒ朿c%g!ef!v%k lxGfzFZy-*&ؙ(: BN2ܿEZ˱:j4D Qx+HH+ {ޙ2N+Tc`ɠ[ˀqSK vbEْEa2tJg峴!Vuܨxn(( uƪ Sn$ԩ;mLx>ʳݍQ?=u)ĽtfQRV'UZ_E'Wȸ4ȖRNI. (qRz05ZJ,3@"PDF;Cyꇦc]At }}:#J"G)5 %K qzlp޼ZF^mlXPC< I|1{j}!}; ʹu4wfA1Q L9w^[*61iRW[^RP/(IvR:="EHfN0`HA F(kH$>@@x-w|ymI3$][Iuo)nJgYZ287d5d22e890ce74c11487f47890bfd8ecf383f0 2afb8c3b0b4aa4fd62466f0017ef34736003b5f2 384835f76dff7396bb686d2ad76b1e3cdbfcaa10 42592a2a3293213750136848a26f06962569fecb 42fef1d829222c321568634bdc7970f1b89cd221 4ca9d3a55f0c8b25922b65ae69be3e737f6a3654 65013a568f88850b9f8fd811448c5025c2de86b9 962e47aa332c8804c7b150e59b0d93cdd566fffe bea5e727d3498335cc2a1a50364e6846b1b74151 c3b7ace5e1cd195ab5d334a9382fc98298deca32 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 df74f801adeb78749d8f6ecf1245e4ee32c568b37df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 7dfa15ae648acb975cccdafafa2f6f01e7fccf26