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 ! D< ]S HOL-UNITY:threads=6elapsed=18.486cpu=86.264gc=4.228factor=4.677zXZִF! ,Y]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Y6p.4r 2D >DK/!h@,8p9?*]>ZJ?bW&z $cAH DB$:|1"^w gU#Ӽm |4GMc0ZOWs yS#me8ZMI:8ÌD\߳tG{|q]&@4Cϔ!a-wipo╍'6ـ ȭƤMB*   HOL-UNITYcY]w^ev pyW7%Y'[y6F6[c]/:2 -ZWD =߃:z=;:cȽNod; C1OE]’FaP=|s7XRLR,jQyITo@'*.{pLpF0~N6Y*o&'r_%\_mE&|ppd1]mbt8=ԵC"d=gJеנh$q@Lfee L; j=!&0bv9^}j05chfBS|-4|1Gt߼ X2Ӹ% M.M8'Oji5rq<ސSS<'ަC*v j[1XU=d(X.m.[ Of \̰P/ r^ kH$\I%9]}xH!J^& S>,U<XSB17h\l!$ތUlWC6*k=6?.u\+9kV8JAKmzV.D3GEl#GAGIa,-wu\PrZc YODgYZ7zXZִF! ;]ŗXiɟ1'x^܎L :_[kk<o#ȯ+k_zݸ+4AtGEO@KNd}M7`NZ2[Ld[) ->!3#yXsbVW׽6\q^9_3ԀS!7@_Wwu8wfZ:•Z$#_Y8˩cv~л=q wnpA. j O׬^ R=:o?K)H_խK,:bUS4C=my7K۫5n`Mmjs(%>+%UZKy+\VgRt.YGIƤrNK|BCuأMS~-oLчA)7z۱y^E<._ $jܮXn5 ]FY?xӗd@xe jա@8~?\Jt٧/e+(9]ɍf3(R}hdr#q&%SQ fkfX + p0p{CϾcyȆp?7@OS`W]n B+ҌdvԴYQ<;gy@h]5o㍧6N',z;^% D pGJ9XFaN%}~ǏaZ=S.>cPor@J5Fo^-.us_7,eH#Snڣ- }"/~R@!̈́=q:OR8RfLڴ…spSPhI0tEv\f'a@ފ1Ԩ-&(0rҞaQ.N{ܚ CVZeoQ ,{-Mle^IYj !\u>o$3$80:dQXk+Y:`奇7b//lB5MN ܡlgJj4)m^C!>%Vf9\$tid7s;jo|ŋ 2Ppܑ#h=Q'!@]30d۞Zq\ϝ^L@Y=рY""ia ɓ+M"BnqFo_Zr4*{ڸ}qQ# bߐnA1:WN$wJ ZJdNF᳗v!~Z"E-a7sfgj 8[y(@*M,V.ЗX eHE2ɜyC)a2roFe ٦aXQ:F (1,Hp 3js|b&r/_-_c~"oI7/ C%w H