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 l \ %S Lp:threads=2elapsed=34.396cpu=64.976gc=1.184factor=1.897zXZִF! ]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gMv-7gzr{}hB?`&pHˆ!sH.5x|ٹmi  Lpem&+?}\[-߁JRXlۚm5q B"m.= KUhj4b)Ct:3daO AKAQ^r|H,Fp`́Q 0#n"mtNljyRᴪF21N ݊DG ?ݧү֢.ܢ}Ohw["<`EѪɠgI.h`l3HͶÊ!'pZR3ۯYƪFuaN Q !86%Nmc_,;j @a Sv}A(_g;DFkt/H3N*mbë=YiI>]V@#f-k#mTȚ 1V/l%2LM#^^%\38>pT s3EJ0{~t֣W~%a`?WiBܒcoU[cw(%H+KRKA#^%Y_aaFQm[[WT0=+6pk}KV)yg&Jn8 !V)apsHj,ON#,3*LK~ŖܡuCXIxo3<͖38/D*/[ьTf%ɜd"dLk8/x^`% H.dĈ sI>θ# ל/K[ԝKIUr/m:ۻ0Ļ}6S:X\w'STK{!./g>o!뤭b^/9__ᷭtΝJy,"FDL0J)vw\ 3OVqrx~4(ds-[|[2OTtЁu,w^w@'NlM ]pA->,fm[v,Kga5eݕ^EhD~m-'ɋ& Y|}p',[B[1Fе  & c8SQed5a}p:p(̬_ݡKO(JZ)'TfH!W1DvgqnjkG9wlZt[,Q8^Ae}EN:@) f )ELͲRA 7¨t!xRhh:.{Yz cfӝn7 } d><X *<=rdk6f_A7Cm} Jqho q NT~ I=י&㮴4t">^]!xB[O7_.G* OS{ +݊J>ea̵)tL@oZXWYV+[| zݒ9·7u>H#.I).rST>$nQ>v6̻At.߰CK87fj?)b~ ZОq@Z`0 8 z_k%#cԖ9|sM 1x]9Sz0 `<7{۳ F-^k= l􌔦 ͐ N%'-z6dp??W,E] 0.3`w|Mh![6ppr'$z]-Ri9gD| {' bWpo3_{UkKTi H0'jI5u ?&~_z4JS vZ) %gjjzq-^Bqp se>N22[ Dihf2SD MҌ.JopT>TJ L*tK[idsյ)-c!s ޒPC|׮ߩv$w#-j WjxSA~5xMN7Ի] F5HcOB~ T`JI!^NYRqBm+&}[hQܦz-g#.S؄6 Ęn&\2RXJL."oǵ#)%dRSIex=3\xT0P3ӡ"s t)3tZO߮`lG_fqӵ C6i FndC6iR'0b̥g譭E+#܃A6/g/VWtkE!5wqD:1`;5Gͻb/7n<%}egb:hi׹{xOֽY> xC~ؙt|(t<ZJLi21}\́?zyڳo#g#vd(}ʃJT7y#QjP7d_+5?ϝ3A({6EOR;{eQ$NTKT.#3#K$j®K\d@6zs(X`- b?Dd4^ u6?1CRc8-j UNVrA!X/w{ M-KZ"i. R"*wDD4I-=B%/G]nü2 G߁#wHq0V&w4 D 72vOhp: S"siʘq^isxfBrzqM| ~"ZM*7*aY$ͺ3*'`\"Mef:qͨ{' { HB075<`Ǎ!tJgepDq ? p=R=L;C>~ kIE߳^t JP! פ"! 9ˊaJXI{ln1Hϐd(ykj1b P &먛";[>-e$r6xₒpr؈?Byǽ7 %P9Cv1muZGA"I7([)cEj7F_9odR`HAkJ:Q}fN 9J 묂|Ea(o$;_iNm*Kw.(W8i&=2G4A=>tCfj_k8#GiC[ht/ӑdHZ3XPźpΔlPաV7z%0vrs.e>Q מhc-ы1ѻ~@TФ]#㝨s1eei>j%LaAwd$;\#~OxjV!i.2Q C 5a GQyâ[v[a% ǟe],RKtOߌJ /UHe"OUfT54D p"3ӭ4۳6hE*"qU~~IHad+EcEb=< }~rjAdOD79k:A^`<w_{3+)3 Øq er~a'ۼz2XrMT"bO~2l_H6UYߴd FxK:g,c 9^H݅ ۂ,MbDjMMX.1;,Bj&g,1BYٌJE- L;7 gT- M0,YXEΣik^+7lCtөLGҚԼ/}OYxaa:Re}mfO|weDho+}N@jZf{^!s=5iOI҃n+J%Ԥ4g;Psˬ% cV S{#"Ө?c#s[aGt5u Fl,"#ɭO? z/rͩά{>H5~xj}PJjԗ7{E- 9R]` C?MΦIPoV]m32,A2$Dj#ӣCj.1A=_|J`B\%8V=%Wq9TB!ro >Ҷvb2 qT.\4|/ϏK1dа[Oܮ5aZNɓ6aHmWYM qNC^!?b࣐uOUk<7쎗X B^_?Gߦ# cHNDZ9pd[n-i(bfTt| rz(/ePbLT5˼ a؏^ e}uyʓWs.Y _jWfSmPcC㗛e.ke[J`xsv8]KP^'Vm MVͩsoF1}D2->;KGtFFOls!d<77e|*Vã岥6a|-4Pd>Gn;Rmr$:NMHX< :uj_]XN/]ث;g\*Ӵ8rETr^>Q: ]HL ".n1+y=8JIhSUEW2A;*2މ3j:DqGLף#D0X(C3ki.(fJERGx9O`MX 氼-1W6柭 Slf(IPVRq{%AaC/K WX}==pm=_}ɖYk/< )/?7)h%O8Bf[7mVDD}!C4v+GTa$ bV)7XqdNAe.:yގOtW̛=|܇(“^Ã4 [xN08:S2+9 T4Ov$;#ð} 9ްh;