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 _/ ,BN]9jÜP3C^˯XD,t}zEȇM C0 m뚔mb]4ea="#ht^HYbB3Qy2^Y$r5ZCm"%DRn3zh>0{ƚڪh%6q@֠O* P/#ȑa? 2M%69^Gjہ 3NDTi͊lv ޫT;R! էf5kf,iJl]؀ `pOad'ș[{®9W W%j >23-37'tҒV@kpRJlB;O|Mo_A]UԦp,bifeQC Pؒ8soH:꺥*o&,~8t3(we#4Q cDKgZhgcFsՂ.5?3Xò3J A ;Vdߗ_[^" j$F<֕)F!E!gD5>Foxi8:<Cf"X^Ck H\ Gp\TypM+wq_rҗ[|OĪci/Guv͜E3,hw7؃Q%f|R BiA5U2p:OD+#tKh=EgO$>Z7zM~mS)vۜnQ:.SC2TtلuP`a],_B#8Ga@2Z۳q'>g`Tч̾>_X{kabc& +*zfשV>D2ɛQEJGu74)O-#}\JҕE$:B:]R6G4xnQ^,On^턭PT`*9߆|cr{H箞yg:d9s|y:W'qQh#$DR}g4h. ֘STb|aeedT f4XB1"|Y{QeUHZ lLB+>) -MjRtk|+zW8WZ .. iV5un5^T3Br|7Hr> F0P/?ݸKi&}G26wObn0ݑCoQP~'Wk›ޘcmygDR~R$SZi Fk}6߸4ǖf)>'8wK^זX[yvCf8y;]2EgG%J຦^[2>&ſ i+Ks*y%D44 &@nc-.2Av0M8cJb4њT҆hQ'od]@oj#hG=sE[0|BN&4J! #o7! ZBnЈ2@~<v{]Ү?$Cf uUƦH8$oTDFB=Ѱ[IRMl`خYyБP@*̗~=i;VC@nToCnp}oz10GiV|L żyNEA-j#'NQ1b(`YwzB A4"BU{[3'm[/nv7r ?镙\A?tb7ɍE2c2|@rn#̍- Gnok\R͔F%_p$C6լ33zHhk(Nh6,I5gB1癗 kǬ= ;pT 0C\K`#F7Q$+c S܊߀_ ĊO(y@iJ^}SYV}*60(]di vը) DDUS]8M:atsFey#IZ$p] f |JTf5@m#ց;qP:Kr7Hs?xZnܧ̵ I$y}Q:BD-7 Qt'6ej8ܱ4igYZ7zXZִF! $ 1]ŗXi%!QZ# /(]y .@SOiƴEkj9E*G"dEGgf.x .byvhJgpƼ"@$(noŐr^x!F}) / Regex_Equivalencep(QgEp]TƢ"'2&En$^& yx*le OuW~}xK>Z_`d*Eh&'-vԫb>OF s2CȷCf6TCxEvr-?A!] V]ZEHY'Ḏfߥ-/R8TZg$ҍPչf)Fd qB>q7TzYO FʡO0W+#5e.w"`ez(/+40P_N+PbQ1$.e|d`QgJxvŽpcϾ/Ͼmmn@UP ]cYuEo1wa [E =&=׬5|.lfe9%ur#BēCt>"mJ= ?$Zygw6SjR _I5 u=!6n݇dRRdu4YW k?]ITcΖuE ov~d"j-onp|#.+ϲRRG ^NlwieN6<\CV@`;l(Ǘh:e J}GNդ0l>ԍy&1^W,> AЄ9 Ir81*RZj)OT=6ͷtŸ&:{ʠ$[*EdEtp/Cӭ '6:;y+2SWfO{('4ج9vvKhJ_N(FJz99Zq/gɏ4IǑDO=8m#%5YNvo1<ȼ}%7ӷiKhhXz^RS=A,=4!k$3MlZ&bKG&>@S%Oe1/?y^I W+yH:L#6cZ^³)BpbF0?7[q@V6 /q#-Wd{ f"DW(x0< _lVG[ x6NhєթVQÂdLRlv4z&%jO&x o2DnY Uoʣ7] DC)qLYщlx7U0KƆjb >ͤs=N޽l2|O'04 8`A1m D};WnNgcO.^WaQkOv14A!aT=|+`p*-[u( lJ V3# p⨿[),8q%.5C(-I/dG@_;#HMg7߄%Ux|+`rwyLct;IG  f:1s G7˘Yء;b.tgjaHcT@Nu:mT&f `L8_p#NLC]KߣIg`}%ovR{,,\_qI'\9v6kПІZvnO ט5(uaE*eh*~` ߎn. "߫ܠ~a6fq'5\YL_pMz^J&H]6eZLJ8ūۜj_yO9gײw}76s~jńe6i@=R_C'Eߪv٦ݬNC`' -% +g?dЙVVi\C.HԅgsRԺ\HovF4En615FidNXxՊľ9 [TEv*>v@K¯%KWӶ9hH7U|XIg$uqrZW^tRwPU 4J4;٤nreSA :1M %!3~vpn 4-SRϐA9dGKt3F!l˨M#V7`d6ѧ6ޝ]%+E_,wt