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 p T4 -/ Isar_Ref:threads=2elapsed=14.478cpu=27.756gc=1.420factor=1.927zXZִF! F#]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL /xc~pw璨|VM{ehX:88͍;Wؕ|FoeEKqxaa ,'[f{l7OֿW}n\['S m(14/!-s.Eiכ{doIR˚12+򑭤|`KTb/TH9Γ0b{@׊/t(3u ]iriX?s#Gx#~!vWcE_U \%C>X.CvO^岻_5Am \qrCs*&_W|yM&΍2!smfYxTD%{kb,/N#!DhJvFV\ O/ ;nXV- NW1f;jsy1| NxFrW@/0v(;V"3KI4h#G\R0A_\>!_Mh>?!Fb-t   Isar_Ref:@ᮑ+rXJ=IEhHx+(dK ᏺgd\C]YҎ6}\ [ӏpQ~Vz: uɼJt3cXqCSr8u~̐́5G)|ɛ ~2C Vϼ5<8 7<ťUjUqcs Lk@z4uB"~" Y#x+[_f#"V#>4O|1#( gMQaUUdt b=@wkIZ^< +l!\Tˌ^ z) ϣyΖxGϵ=xWՋ` 1mͥ1-H!o|@<7{2) t.1Ax5(H{z 8HҙlӡVck2B Y7\?`|%&n5hds,4h}]')v:tv!rS6Un#?NhQN4ζ'tTr(}K\CŷfP~V M$և>r"ٻZclRNq1]l%ao ?k_+6,w tcK_ڜD%O_W9YO.d[9v[;P@SeڗO>E(aK׹2si.LY$~5s :.-ţ<_39*ȣBs?=xLw:F!B7X4, .֋09UD=yi&uq1Qu  5`'gYZ7zXZִF! D&S]ŗXi%CkFJofEhqgkWo)SA_|ZpKDBGdRH8QBϛ]*T,^1۝Ups)6!{ola"{Y聽T9ㄙVn-I1Xh[J= %B y}gm!;̄R$57 NC*pfl%$=%VcuY$V*Ƣ9?"ɠ|CCp#I7s"xޚpkP § B,4Y=N$s°Y)pj\4|/f4mlE 9kMEu!\soƌmͨBﯤݖqϬZ J2@>M==ۘ|p#OKFq#l$a?KCv_#=zfvyDg[@RM{Dm>[^r㖤*~ 8HJo?1ùt(+v?hC_<w>SGC/LRj7$3]eTe8%y7F^cU#z@#-Jrv_,v it>S._cRI+慡0I!a߱>l*h󇭷.87}V\aNI 3 &'xp*`/tК[:~|xsȃ)o<'9Z3*Q/{۲:-IAp%܈fy17bkQ:A|fso!Z)N& Һ( =/2E8{̕QE,?KLP 3Ik#ګWڣ/;Ot/&z?/7я$y0[9ߴt'cCJ A;