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 t9 dT ]/ Locally-Nameless-Sigma:threads=2elapsed=42.929cpu=70.368gc=2.584factor=1.647zXZִF! "hi]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,RqیKl0l,C8JK?'SUJ^V*n9:t-,_v%MEC&Q`@^wMA0GQ1~5=կov6;'z !iwgDG{Й31띅{v#`c ǗG%^4/q/clDr"`F'ByC" ᧗|! | yXe)<f9c]A (fW 9 Locally-Nameless-SigmaSp}9"HCD_)4yi\ @?犺h'Rѱ[BP;w}jFRP|DJ`JoLՃ>DcrxG |TF-/24XvdU$h3m3u+gǿG932l +|ka}6RYd[#Þ5#L=dܧaj%'"y(ؾ `n :.h 8'U5!N2Idy2n$L*X)}Clӄ{;ހb5{9:OTXeAcUM|&%̻"Y41_%!l0Rh&~&Z=-NH k)Jpo JcRo\W`[jt.v_6-Зfi05*YVWQo4F\$noAl,쿮ۺDgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX@0껇5=˻'!ZCL2@_FM,RpG&)Mafnʻ#c}V;er1I_md4g^*dm!@"sgƬ˅ q5-PFk)nEiBŖyKHvV4(9&{[d`1)gYZ7zXZִF! ]ŗXi%6SwUZWO|bo/GUGjk_=뭍I+=زߎ\ŕ F*mc4R j85: ;_{} rbrqHVn]q T<@\;mֆGd/+g&@tPf `cP ૥ΠYp\P R F)J_#WF??-^3c;`%z-;" [BMR;a,_8ionYl,bm)e6T @IoM_MT:(-hVܪؠY9#0%E.N\;E2/0W0'^fMהnq_};d cR{iR]fq*Xl0A:HT0W 'Sf?կ@#Ϧ6ro usqtŸz]vu& VVԉ$1Z^N;.?2VL[;cM_E?m5,Xq' a\þ-<֙.O Gʡ޾ڇ]DWӣب}ŘE QډvN#&-ʏ_ H;q}0de/lY:X%dx=hmA{54*SMjE"bGpq< 1Cك`qX43'bb68(^f&(ɢ-|zlx|O0J. Udqzp,`t[CY|p$xpf6]n?;a|>xڄu tx熚JG9 B~i7m<=FA;`2VqI&n0Ym,֥o&K.opD.=-Hnz5ݯwc5iiE@3^j &{$ѝSwsJyj0GA1& e= i ֞e s$Yz[Bx*] 6+:2_%y#iݚ6y`*UToPMqL+,wgy eھBn=޺9(I2_ (٬hRFiA]'KPw$Eh4[$<8]qF>^g?hdv5\r{H( ɇyT< |n{ Ỹzޏvh]gl;6wvs!Ϛ(~ g/?5JNQs9RL2mšf}Z5sk5: ocg#w:4׳>cXuk~ S٪RVHgYZ33041102c5d3508bb9a2aa1458ed879db6a7d4efe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc