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   dl$ ]]Word_Lib:threads=2elapsed=64.299cpu=125.668gc=3.928factor=1.957zXZִF! A.]ŗXf1-/6vR[@W /9% ojIV\|Ͼy& `bgᜬ&MjdjJrY]` 0KG^A1r79̗*ەvRhH'(w3 fʴý"KP T3fԍDopz]#NvBh,sS/%um f,r Vt>r\-q"@ :,Pm*ad %ԕ9iHK*t_\*ᎀv2:x7TXndJU 6N4[!ٗM@舠k$>`zt!Hm+i@m,f]BӗWˡjDo)(_SvOqBrI)1|غӼ/g|!Bz'|2]p:=\o/@ ɠHTaYܷ#6m0إ+΀\p4hEhKʹag@zQPވOtR/6JA5*]AwCrJ#;l*l{aX|@f R2@ƒS0m C{9!2끍8B բ< B'vNondԈCЍu-qWA;vLZME?*h0 hZSWfL6ӹ)\f9O\c9UC b@E.^C.g,tѡ<    Word_Lib{ϰEI .tn.~9 fNf-VLY7Y=qWngusOu,@}d  fgYZ7zXZִF! <;]ŗXi%;/^ ^Y$ij|deM/:\ 8//#1-7[;4v>iG%YMXi&-";K!i_ W1wEϯلH[P:)iG|@W ڵn#?_HQuVs !!gE. ̃w|b#ҞŨ"]@'%:cskdT7ϑNG~r8:RlrJQ$AY#ݳ ˒am/FUXoTga~ݦV}AYrw5ct@5&KM,4к餭GJ9. C/?WMԿO83v,im A~E'hRBa =/:Q69ɮli*,h7c hc˰ a4Z}lSt!:5M4Lq/Fc8>bv6Vwh_XwS3QCyey?Խ>ʺ:[sĎKt̏Hy(즰ͨq4&wzns4.=d3#-D TvQEtu%l*{\Dآ_?'Gm.۵_+NR*,x& Z  j6rN}>9d=ԬֲYO=XF[ &9Ϭ1G LtDP8S/2^01/G30H+Fy8:ˆ{0Hg8Pl80 LNV/%.bSe!ҕahP/Rٲ}t^OC2MQx]ע"Gy9ܥJˇ~8S؅ΊXu6.2Pf8ʥǔjnAY9C bzȌao}&H.!*a2H GcW8o-Au\JEzJ?6_tinTjҍ·v3hLt*3Ac]0$ʲ5jx~!h,4 fr- XOqG?yEp&m_dkUKJfkJ6~l1 K<<%ǏF82" ڒ:~'ƅt7¾D:}WrRTȤF\z*v[wvˆpbq;5tۭ)f\%Dk>򿺼X*0[fs&k'[[a-x y2i0:pؤFU[롥N;ٔ DKR;y㙴9K`*_8#56d B6HldM&[Mp /Ct%-Td9ծ-b*  CMPg1됱RX1x3 ^8<1Ԏ 8T˽MAqk#t `oQyIM%rÓ;S 3q^;?ԡD >Ogp T;*f $8h>Gw0SQzhdNLϰp%p( tYy# nնNI]@ԗ;QőX6\H"!>vp8V|#ϣ).7nĦ9ugHْie$R^cD •]ӿG,خMmREmIpYʈiV,0$Íy߃t!S&$AYpp-n57_gAQ d+2.d )ߐp.ݯZ;؍5^c ƕ#ε"B, 4{*~7tv\󠖇ʠMʔq F.Dkb%*а)F/?+i_ [w7:/:Ծ+/sظ~ÇgY( %sun$3}C֭Oe&ss2ҕր}'H ;̺r,qh7'ϥQ85b„9F$p;ؕ$I,X4D[bE %D;;=4kr(~^*^R:Xbȱ>8$NCg#hzi?ml BY/xtr۷ǐye0w΃" /'4<%@"r[W ^Manb2!'!Ӄ'֦9йVsiE>7pPĺ DW8z9[*߮Q'Ah6|8Q(#4eJ׷CN ;`:r>V r[[lgT}TN`Ϟ/y *8D J(z0Ex`[tHÞpC"˰平k}Q[)SH ?qEPyfuÏEuB)D̜*RRDV5XRC djxmqGo#l0#њw K¦ܥn I}ĺ\!`N4ܛ'/T Q Ja;2EAj?iPD!YN|`,T%ҡfi?KɃm__*@k:Ö.ߺ#t3i+n테&*