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   4, ]S HOL-UNITY:threads=6elapsed=19.488cpu=91.892gc=3.452factor=4.727zXZִF! 0]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxNo'G{P:rm7M "1Y qED! bOzpoc1D+=8RI]tyȼ ֧/d h!\K8mz, =>0i,z N\7u1DJE[.uj EӦ_ZCjd K #KsD ^Ūmι PԔ-Hl'OmVäs,MH^;#+ %c'>9H<~g@䟻i2hp`728   HOL-UNITY}yV}*@h E7TCn<—.\i#WO%(U_ccmX{gfQ_pr$eLO'TX9kE+Fe=adLdޒqCO/O``x×ԗWO+a__B[UeN Q)nӜ%)ݳ㦴2;?}OWlPBBog#*qdQi7Pj+gSΩ?k6J b68h}^ 1˼x&Mף2.$nװ^{m\G%֒xjb'*$vMV knRmu>h9_ʌQJ1w#UuwaR-M;m6fA0͋se[k!#d*$V{ј'`0^yY l59p˲LOL:AG/a3_E'iG:G*6wpZ{H-4zg󱒯 ([p׫u`M9ƫHL‡̚lV; XxBl)X?i~ǔy)W@u N iٔ / ׳C@ QH/a[. BT+ZPxVmS.ZZbִڶsGF,OC(UOЇ5x!y2'9CZrh1LRJ > Uq4hDGbCjtdkrWjby кILoQv?|\‘iٺ_и:\-c})|"KR @Oqkb |\ij媳g{sֺQX"79L`15jqjh }A& 3`gӳ}g>*: nUʕ\ɡRE N+A`WN0ITtC\>1$rG"c}1. af\gYZ7zXZִF! ;]ŗXiɟ1'x^܎ bLKZwcx,r@M@~phTq`hҐƝ Zk\ϻ"(đWP(JpW h gd `ekEqB8mwuY*)ES`6&b鋚A@IiT9%?(57(A8urK2˞ݜ [wuHz~-%ц."N 6nazq=A :rMvߖJ>(zۭN>pi+,Zl]=2V:AK+K&M3sЀ(%3+TZ3K܀Ԋt!}3;X2Ǫo8wXsEmS&6ejc=el!dLZRvU>thٙR,<;XͶjXF˷jTƵ9K9QV6ޙ U뾔8cVI[JggYZ7zXZִF! \ ]ŗXi%6Yf/arSL)H|,c[V_)-|{#^ցy01}nܡϽpI{0V9@@ Tc0VB\jA!I:$b 7#˂VnM++>FPJnL߱7`MC_)c%c$ gWi>4s 3tL[ !ô\}}//vW<- ;t\$<^Ç.uhMf >p wh pYJRn?uHaՠd@@0}{PM V>1"&, d ާ!mTAb}TPF9іDA+qM2F /% Q]kdK)j/cɫ{ZINĭYYG-y]'CH&ږt PS,'bD.w] e8K; 71eg͙Y3!ݵoo-G`K[|Դܞo~W__tE{Vh#)U[s`^vD69dsNjVݾRЦWTEDnuڬjKg3Ҽ Ѡ6$酟Y+ 9RiFS!G#ۄ {4"9<ƭzo ?.D$V:&ΈHAy[MBl ]O_@ٗtzd*#'ꆾw[2撞!-MxD?-2?+W~L9 @J] )B%`|.6Q}QJRw).Ut vz t6ZGUP@ym AZYeu¡T@@Zsn+2*Mm'|/좇y=:{JU9)M.PI[2IIo(ʫ%ͱ_pR@@ckKq"8hGRG~RjTճO<,nItfo2o4kC&,o->PA4 uh<αgYZ902aa32e0f86cacbc1baaface2b9854e013bed9ee739dc532a6c80e6f5d762f572346ebeb03f4552 5c6d1467eb3dbc220749df9119f5083087abde6c a222adeaaeeac8054ee14fb02b6697a4291344c2 4874f9b31d18af8e2169a7c8758b2b81936e9088