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  9 TTT ]/ Locally-Nameless-Sigma:threads=2elapsed=40.903cpu=69.120gc=2.836factor=1.697zXZִF! !d]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,Rq=%$q6qG {*qVнdR[9k%&(OP3BaH6򞃵/w9yO1 &) yP]M&9D&5 RG!S )ı{=!|Sf"2yPl-)D7k y}=xI0Lbd.bOz t1qHd|O,~5k %!(( 9 Locally-Nameless-Sigma)!?¹TK$Șkl<qX<㛀1o 2x騉#ulf9]o(x2$ۋXyPyhA`Uчv϶ȸQHX9qcvw8XI5(h{I?ȊY_qˑ[#S?=yNQƒ<;s:%l/cM 8)$w/D)/3Ј1a̬xNby BjQ@Qp0}$FL{ {k(i)"Bne՜ +z0#_VQTjN,e6CP|IٹUx 8VgPޒa*F􉑜-ٱgYZ7zXZִF! Ͽ !]ŗXi%9#rqWgi]}iuFѐ~7S^u "-O>}x)N@ (>e7J +O/F#!Sݏ:h;6mhWl߆=ApĀUޕZ+&4z-XݹwL4'w ڨ*ޔy=,NTgjcMI_4 {Y˿I!y8`?5qFc߾ޤaˌCRptjQe^ adQP2K7I\;.G3SN:Cl-uN y؆5n&[jҊdֿ WVdQp&7NA/IšYgҩI"T?TcZ|jR &dj,sAqĆ-ۃ _xliwK0Y!0E-'Zg|g`i**'mOgyLsX'<etMkgo=S7gB"}Z]O 8_tu _.n8aZ5c{1("03Y>K 0)) 9oX$Uuȍ2~+b QtkŅ+#:{R-lUcƮp}4&zgctC6qЖ<9^׽y5T-Q+-O¹7_ ƷP/ϭ4g`lw2AqxJ8n*INҐe^k-NmW!m/;:M'Mt8oɖN{9)!;&vB8K@'}Y86Wjҋ>FjK=n.s*l$?Z`ΰ,.StSES~OT1S~\L𓴘zyrAImYy{ֳDL\m7dx_W Pk t#+p)%{k'DUpy>k6om,sB4oB| Kh.'6_tĄSF*^!Jfr;a7 iQˇ@̩Zcq d?o Fr^R?h IkgV"07ԓ ;Z#>㫆. ]\?$JTjh0" sf \imM4t-#В\lc 6?qmdGB"ΣV,2_NyH S+_f~t qJY.SKJ҄ WR?HY_ȥkJ'):mneH$f$" (on0U<ኚti.>+CJvlyby %Z}~3邱(r#SNBV$ڈ*x#ej!ԄX8)pWNPћ||6B6$Y)ggŅ-6m513@X3W"`C^`Ѯ+x-C I X6^WK|Zޜ}U}N? JAq0!V}pDv? 2*;kL8m{Yvkxjr,lF-fG:o27:*$EMS>3Ek_Z6F/{f붐 5b7ЦhjzOKg,K'p3ChCÑPr\է7jUVF~ ?+yj|K+c@wUf%u%1Mm>"\I,0"ݺS]ey2 3PYnɵ&K*VY} DBX9ttm0lSh,