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   < ] SuperCalc:threads=2elapsed=39.818cpu=76.456gc=3.608factor=1.927zXZִF! $}]ŗXf1-/6vR[] ֧"zժڋZ( l-;T" `\!jcLYxL>k+"`Q'7k3L<6VD0i/ºPJ\i.9i\ﰀ6 z,VPi.m,}q_HVf-?趾S|{ک\>Z<S"@zoa$)PgRn`.>~E%4$z]f-HQ-tfn̙fd_#/j5˹B\ }, XCŤ-(\ިꌑN盫!^   SuperCalcDö+jοkp,rjy`:$Vd 'B% "9F "k8 6(ϋ2GVԾ }A a|'S'P3 mk-F6 3JlC7CB_u\egdr T42.)[jD3R z|@&6I\ZR3Z4E$$@ݑѲB1{0rT4|p:C׆'ۮE*R$jq9 2D$G<(5h:pYx;-#I }~ \ \teK 1QOxEߌ1WG~Q̝!?aI$"ʵKY^*Yx{_ @y:L_GxFk0vl5V6] KOl,`AA(^( N~cG~:  sd@Ĕ-uW&^?C:#*9#큇#5Έ(X[ D8R^"\鯦m2rL["j~]hr9s@MNM"u!O=g?7/jK1ǯUwJo+5By׽\t%Y~ Zހ7Q:o>ZOVelIrqHSP~,fcz"R> Divxy=)B^]ک o~ʃ_=ӣ.֧o>^U9X-˫aU𨒖G ႛ?C1Z %76䋏AdҔ(Gu3&QSa[Xܩ/sݖqɚgWb#b ҇4 y"{RsrȮʧ[=;%?5o&pFSb$)ݶ)rܹ 1rŃ쿬G\yS-8N-83u0eBP?nw3% 6QPT=/d m6^V޲/k_idXc` ŻZi9<M o|;p,y35$[Uj{cic.}Ԇ$q1x)_2m-1TJ -%'R#;k ALugn#AR}-+ёGM, H@P;RRy2{d_`lBe0JC^R=,fڌ)?ȮtDG< "q'&}tD,g8~aD8 f+She)b yڬkCI5q4BUct`sjK %T:*(յW wĀsqMtFpAp(MS_ܿW'6kPnjgT#H+2U~2!Y@l$2'ڈOeZ=g9'.e3!O7h%]QzO ;sWF+L1扲88_j]נlEƼFTt,LBxs;a벵n0Cu-S;)?X;"b>ߤ5e2w{OgYZab056907e94ad6331f1473a762fae7321fb3fa5979d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48