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 Y' l ]S WorkerWrapper:threads=2elapsed=12.692cpu=23.512gc=1.084factor=1.857zXZִF! ,]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNB{c .+xHU3fyy/-9o4#Fp;&vFab`0e٬(tFiQ qhR|pf} " K*&C1):M$5%G)O6X Uݤy /#vsm#m_v&q e gZ*RdSOR 24#m|JJhU']C\)naBƘt6p X1j2J`uVﭺDffURHe.fQG$ʍ&#<\7N Qa&R-wo œH!=$g?4j3ťI;5xl)VBR |,6)-,bLա?n>wuW{x lAqcc燗۸y }mgYZ7zXZִF! 1/]ŗXiɟ mLr?wl:bA8YÙ#[6sBʽɄYMG 7R=* p2l3۬KEK~AJV\Bς'rr˶=?&U͟XDޫJ4/ A@l5. 7 6J$D l5 Sczj+rA,0Ý֎ϒwj_0枾>>HSL eP/U`Im]k7Jyb "655o:67C trP\f{g^c{gYZ7zXZִF! FzD]ŗXi%6\!kPaMSNsBX(M&6Ўʮ{$p)+QI0ћoFB>vjCgO6us.!UU7}'\.NT<黺㌈f NMZVpv^=!ݪVoL35hN!h']ÒՇt*ek4el?ā38ms@ĭ[k1RF Y'NQ#ڄm#;$ՎnjvDlç_Zۓ7y.< QEm(7_HM-C xFd1 y}E5,@e ^gAbA4Ƙ>fs_EF j/hK@EsO3T g McN^W ?ghՑ6)?Y'5,v;E¾K:#GCYH 5VS_ 3)/Fd(|WʁNGQWB(`xdtV2 n.aqp_Xz?8jmvd.6d[ x;L#[ͭ+!hLC}/ ҂$q[b'v^?%/r1aHӖeUI6 X}}&)w={ӐCy\.5_H5UI%(QTUdprC]c[ǐߪW>)r+VӉr}HP1 rXc!3ޚ>ObE4 1c-}зǃ|JXi