SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ftl E/ Corec:threads=2elapsed=64.343cpu=100.248gc=6.216factor=1.567zXZִF! 5h1]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^8̳èPy47h+Seq2W~U5"? L$P5PBEmc֨F/ [+|Uqz&*6/-1H(CuճmO~R!)2b:-bӛjhNYNeJxhJ/[VU~\O Hؙy -ƃg]6GAbIF볩S IXx`46B{Fo(_!kM؞us"b\+>6ބF}^aȶ.ӏƟ?JqC?r 0d47r\Apbfxƥ&?{l@ N>Kl܍ X,$@W u|kjBx嵗\A(Vrdg`]j਼/+&ڪV%MHiGt#HVļoU'qEHg k\ qqXY z (48uZn+4ZmϪ (Ȣʐi!sL}^ұ]=u'QuaQu9l{&dRKCzA.5:pڃ:3!2sajYoWK6 jQip*e5C r0('8'hz{WA~/Cրljhič:8TUG^TlCq(CVhsj&Ƌ >,8$$֔-F -䕚\"EcKҀ[%Ok&4!8CJ2"Ŷd0 ㄧ:$W"]h Ά =E! qݒqRGA;*ΰi}~zLܺ^`t<7G{ jRʱgYZ7zXZִF! # ]ŗXi%H9AY٩3$ecbx' tD7c@wӝպ5ZK_[xU8UVs4G3=RSK@̾tV#{E{+vVA.eLż";1mVq{KP'L}I^ 2*P'n8ZjI#o+[ʒZUA*?;kjQ?tueTbEE]㰧sTl_IiGGCbԹA#H,]NյMuk}, ަzÐ;]uy|E'BRMٺIHæ}gYmkޘe/\b xx _:h*ϺSDU6sS.Sr$BnjbfL_X(X;Mĩ0oK9hrk鎗Z_̈R}_1iGR/q{+9oGVtM>{§zubE~[$t~YkEEY-^p4ciE7 )/h,T*"貱3191 $[%n JGA"4gDEG7Ѝ}ҡRjl,HC+̧Ban^8[bTD*G}Z1%Mijkr^p:[aY.4 ]w!p;败L3vd{H ~-?R&a,2B१2gKLI&S]MS?Wkwq`_C`JL9/*m+£%ǜy{ɭ-_`7b X'`Mh8}nX{hrwH-8 ~|&(l o֟;RBe,@>IHIEDZw-8A#בuGc*iYp# GNqfgM$4fuͧd(؝nB !t^N]]>2MY*9/ T[j5`27 e%5۶vnH|:[%gFCG #*5?kD?5& نH^a]Ӄy߼j@;/ |zo]zXtT>,K35)QT[vR7$t皫~E_,Ǵn.#>]34ZGPD"K* oj]oN8T%G;h3=M3ݷbq)t;|=VpfFzHnÌo .OP 4`,c`Gsb ZUZp4 q6/*hQBo$~qm^7z&lr0v_ ,~Hp3qz#,m5zEI 7qS' A"fsMMr@IϢ>S1ĔFP7póHQE98Bƛ)ksV, Ey`&.jErwX,bTR*D~1iK4‰c3|gJi}tXw Mͭ?)^ z/n=Do{%Z:#?vN#^TIW_juqj C[-,j`o.xTS'XJu4D/qIBŴElMW_yG~z Gy# }Xh䅄ʵo?uXvE/3_-I'CO/smp=`Fo7CcHez^&aVnFy>ȱo2SJ_ȯYX ACUԷ6Hٯ5;?:|r}d[tν?bO Q/  5o ܹ).B թCUӲD^4;>KGtDNvi7qSHKLӝe0}RÒh_O{ ˉ$ft)DuYgΐ޻5]/+ <]uۖڄӒ[U@-CS1""ԪSp7"~C A}dօY^}zV5lJy="&قyntђ}>oMc@A$-/DFBqkUzڢdVKWh+ *|^!BႁS2[Rp` E J*t%'E")$$Kg0)777Kᒠ >f8Yi(E%~/ˀ6aܽT]]l\iY^9L-# r0.{*; H^6;_Uq\!)@Le  eqzO;y iwvY' !, ]⍆ʭzUtϬV |dL0Jf%A zkХ>ʁ[Hj0+,n=(wh]1r.Ow Xap0QdS碑0=n g:{l3 ]안`804ckܩn&(GgC?j4N%냖KJJ;