SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 0 ,| / Menger:threads=2elapsed=12.509cpu=21.480gc=0.696factor=1.727zXZִF! T8]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is{2h_\ =rkϝe@#wAS_flhf #Hhٲr]Ҷ( (}g l{tI@ S)2 <-7c + ^:0vdHOb 2NE|$V>Q𸳱cDSEUzAiAs~_9,,"CbIՊħFR#lpEWБd@z4m3ԡj~/ LaBx]i娱}M=+˅́ LyŽ2IG"QN[Hk|}tN "mWB`MljGwbdp'ǐN޿s [*hi];FOU|C9l \%kYƁq0;Z!hG謹^kr"~bBor4vj6kE?0?C&J32F ]25- D"o-((4ىbBq,~\t? `2uũi͏̘{(`$QE-oA?Tk=M"$\gWrC[%?kڷ$-ٺ#V;];AuvzL2,&6rfh1%I~(2(!4?)sA߳<}Pmnʛx&N%4"~L@, 'Z Ӡ' cNhq U p凋彫Gz?As͓!pd/L΍v.ԯa^Dppou./d)~Ks8Xh-t6ՄL\uA Kljr+ $d ,:jжo/+4[дXd*`ZXGb$l**KG&Id(rUdq4MZXr[ʭ+.-m] " p.Ux^ҩ? Mp*V`mS-y{pGbm)E㯎߯Oc؞w6%y*EP5+6df^g70_iay{BP|?QFXt'CV;E+Bv$=pBKW&O&աUFAzeVn҈^{͉u~;Fֵ(Atx>\29S|cM3$59z4C9%K} Dk|\7|V¦2 ˴h@ܷ d덨T; f<-g.>޾1lu2ݢ2!<ZQx}"Wke;{O"keFjj7ԇH5oqQD8'wP3mLvũ;׊=ȍԎiCDIEUHpAF\6tD-ʒ0EMtQH,{ Y;Ʃ1\pI)bB2=̐KS)gYZ7zXZִF! H6]ŗXi%HZyه |EH4qD~ȉᬔ랗ؚ7b&M7` cDaj34\b1ד{YdqL ,Èύ~ Ea"D%2U0,0eڤ*XNue :oDy9ƚy MddͱgYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07