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   `K T4D ]%]Transition_Systems_and_Automata:threads=2elapsed=46.081cpu=86.180gc=5.008factor=1.877zXZִF! +]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6{)Q>zs-tG"aەf2F\\+(w}Ć:s ^-V~ ){~7]x/_y4 ac hS$ e cTOʅ k[}EF%+7"&<>65(Xj 2uJ$4tf @FXB_+ל{f\f2s'hrWw I]q lO .2_H9?<ԑ rm64[Ie Y;GEúE8~ԚZ3Vx \":'2h)7[(La۔q]ynuTHg%}}QUUֵם+T*[nI9عʂAjdLב>FZz8xyAO0֘3j5-MdJ iT}ÉƝܒDM*$mT$Y,Q{eZ.V?ىdh*k"k$GTRo))k:_d8XdJÃ=.L&+;H8MFr'HGw vDƺ(J!޼:W7cSaV[|?nIo9Ap\-+2`qCIשhhVH:"~2.32)Fk:jaKu/ >t,Š亅IE2+ -nj&6b{Cw/<ЏfﻓAqK2v')EVvfH_o-E X*qF ҎP]'& aR@&?~Le` H0m=h3gؒZ\ L_LyjA"7\f>qب*X PzSbDrB0@< xT7i Z77X_Իrtе"lB 1o#$ҩi?;y!Fk.O| Zd9+!BV(bRY6]-?:L#(yXND3#Z+8}ϥH}VH{m)b̂pү#M _\ OVW&"ܠ~X|Ko6>D2UӠ bgW/uw=*;<8 5#6b+eܜ !3,g 9v*r!{_jے@i dv'+UվMDVn"=;ۜ]DsW;~,q5'~_)Wۮ8u5Aml;ܒb}ORV|A,dnMR4=|nH'~ۜWUﱄuVF>1|Ą/tiXƑ{OY4z`|9n'bo#E>ӗ=^q/%9P$}8O9S&(M<~XQxޓTd'As &HiSU^𡬶)$k5v EZ9rFAn~?%(YfrwMiϚr#ǴVV.wRFѧ bwE-98JGڤQ6\rtL8W8ojo3(ÑTgpO'vS8PUGy ]4[Pri Fhʤ x/Yz8 ~Nq۶7,x<MzQX0P>bEW$%7BP*6#F_89m-Ad ~'B_ΨUcr 3@+@!bօF<PУ