SQLite format 3@ . YYQ77Atableisabelle_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, "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 //F5$$ + SequentInvertibility:threads=2elapsed=69.494cpu=127.972gc=9.700factor=1.847zXZִF! :i]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk܈ìFwxBB.Ĺl~T 5J5kSB\u&>Ӷ.X^I1/3CAevYz _gefkەA_30 LrmtFN,r1Xi5N\B09$X zʣO[UO ,K]ɖ]aƑY=yQ4DN.I m?7V^ByoX3 ^11\j%XbA'"Rh_m`hOYz{}r^daV!ӀFrC*sM12]7X:<4V ҿ:qeyKXިG3~Xw/УA”[Ja{}GNĥJV^?ؓ9Z?#5 Z!&FP;Pg\zJMhEM/(.- 4O@w /S=q ћA:0ݞ⿌Dη\~ `u8 PU:)B0];$6Goށv Dc9>e.JW毠_]>n Ln5͛J6fz /vߚMʄe13@uІn9c4 y+6n'*35ڽ{P{gc}W~)ݏs)&:t'M͠) ±Rخ*{*@XvݐS/_, .{mcV7A^'HRm%ser[ : dW&Vz]3^ǵ瀂L$ شA_!mujㆾ)0 gm%9}ݏF,gҐM|?Qd5)֖cyU>O*ۣ ܄KF1;S+jQka;tS]A!HqNg-Ø]7O ,/8J t ( tAngYZ7zXZִF! >L]ŗXi%6ב DFBDN_;:4w3''&{ju.dZ:ߜŎd>-CŠ ~gzUз}U R:!( (B 92C+dJMW"XZ--MGԿ6TE2BW"J+D&oYTiuƴ9M?\,mX&9nrUvgy> j<׵~sgky@*d:d`5HPXAhv|l9-8+˃CHȿNSdX0_y.iXGA͊2 L@f>IR`nyj\Fi,=#1>xŪPH ]nYyr6T* Dwضfb@ mW! ;1_~q=>`ڤ Ag>nv-'~_"%LăK[SW>ΪjF2xqA[;eV\%G79_+,+O:V%{idžqvg}.n/IYA;^Tb@L 5G1u.\$Iޤ_Fofscy?RϲHۂbaAiyeL 5 SequentInvertibilityߜ ~_ RPkt>ewaJR2&UE0I4}JgHBH(뀊; `NiB9tPb x_ /rטuoxg4R"#Wa@:Bτ}am[jUJ׍7wM`W~ UkG*CEcf/ݩR y !)OìN Znci=vsMvjI@H5k^-je5EȠ1jSoB}޹e{쁱_tR{Rj6*TMWu(1̵~F{x~(_+ޣ_VMryՓ ;1ǔ9. vWJ٬9tw^Q]7Wg'u w!H;>E4k%\YnITxN lKN q63>HMA1H7_X.o%6eYZDQBn>`I bKalyuh5a!%!Mz> ѰK%e5,mnJ,i|u gʵ!kI(yof&Ս0jmxFe72҅8s+z ̸똗לFC2p;fr݃ UoJȧkub|T?毵y91w֢EiU߮}NKs6_#uNғks!κc'G?IΑ_/Wx44M-òT "LB2N~?,?qEh;7u;C%2Κ6Uy-;~ " [.,s=<́R۝$0U}`Tw*2KvT8F/W#.B7_ SnpH8x\J$ݦvY<nqL7=6_^ƶWeR@tsc3Wmj% 6'\Q6݆XIXO`/EQi93<8 &fFw4MPOI%vocT!bzf5cfx!Z5Q%rBK5C" P()R \ $Nw B=RM/cƨO<-G{fgX1'JxFt369PPQ )Z8q~ɤeM6l&$tyTBdz*Г&gҀU$8Xbׄ ;B&KL;-̒!-^O 1AJ1{[%6" xf'~ > 2;1C1e_LO]d/*u7cnM#*w+}Ƅ\ug͞jPq-N9_9jQGàCߵm@$@D-%NcC{)`U-Uy- ࠢWQ]ah@~S<(w{rs d x5 ^BU \ڕ+dzXe[Yh^.qftD DI!ǒOx)OD6ާG$= )$Nf/`[#|)ʬv\֦jpweH̵F^瀐| b^eԛKVp^&t'sX~Oz=- ]DHr/n!Q$MI¾Xoޝg;q#~n-m]]M{ʂ|+8|"Pr[@y5K7P7wA_}=*:8$9