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 WW& $lL ]]]ZF:threads=2elapsed=23.447cpu=37.460gc=2.152factor=1.607zXZִF! n ]ŗXf1-) enȈA XR„:'YvKW3ϭ8k/5'URl}$UvoW \mP6b;3Oydѽ@~ &:-0S& \@vAX .- ԽRXv":&þހh>NRRc 88Esp~s4XBΰLl<ӥ*PQq_X @tLDܸ$3 q1'Ql]A#_#+NzL" ͊g ph6Oork T nɸg"-e+ ~̒A &DW(S2Rϧopm#]2ddS&Er(?rVb&hW˳F-C0 yo'k]Y;XE..<9ڝ!lhYeh73V|ŽbRIxz4|uHg+s!>9,G>nhV zMAO-SXz#UD9E W)TVW¨%Q gYZ7zXZִF! ]ŗXi%;[rcv{=Dn$ϵDJf1v< #pΎ7,;cNde[ޔĉօ-䷆e?e/`4ʡ~+3 ho\la*k5Sg1b5INs@5ʛ(   / {exV!ݺwKK.ṶDPXʈIS/? ٚ?VUZ@*K0Q9 SRјb(I[gvKs Bshn׾AL~X 66 d?kszG+D/yNRR`t3G&+;!&/K<#پH>6KM🗕** _czSP-孮$Ƴ٦ut^rs6J:91 $%lBAw鎋^@*0ھUJE-CFADGMIԁ-|Je*DtCh-qiVUEVghnεGsKc1[H@Zݕ9@tE;:l39c" P_hC?pd}x ww7$E;TLo&~ dnI;/ƊZcԖ *X#,zǼޅzFD9%ZӉ/ԕS muMUҾ4 7<@Uc[ڹJpl"7r~.$ap+Aa|]#3¨V .;}t{`hw>H$9ސ%X ICY!| 21hwF*Dn6W$]\.Q*Gf9ElͺY$#%y:7B`9BζaxU޵W;A3Pp{Y((QcFjD~.x Etm>C<߄lei:RC[4F۶jQYܜ0/?pIQp>*Q1p[وs47gT1Wd}cR rReY.{WC+kGl?o9:J3uR^Lʒ(y⣗˄oW5NNJDp&dH%7eYAÉOwm%A Qݝ}/Jm܃QSr3Q7J{aUkA(TMocsg u?q4|DQ`Z36u4gOe@dQ696enC&r C 0`&?v;'z0.OS 9 s W3bʲQ!#WabT@xa MDw"Tp݌7`Sgp>>? SgYZdd4a76cbeaf59a9fa1e398059c1fcca96748151187932c6edaedf27de51c877ca7033311a89eb072db4148d59902371dfb712179a57aa73fdcf7b8ff  ZF