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  v d44 ]S Circus:threads=2elapsed=52.078cpu=98.876gc=3.852factor=1.907zXZִF! F^]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jDZjxsy&1Pм`)T+6\DkK4-c qV_ ,¹ >-!{J!8.j?ZCLmXV\}-Qq!"<߄k#6Dm3{T1=n_O-+<;5:!Io;2]^y' a̺u7 rMB#=1?zdxnWf]F՛XlB,C:$cnfӯan_ASPJFRb_LԺkFdިB4%QݻhkWw-(Ͼڿc9%`QxhB!\uЭ{=ѤMxl,׈t825,u> y_#\G4+Iz$s]Z=0m.2a3o,Àk>vF!H8xHbő1byA|*M#kYc~B ^rjSMd r 9ǿWGk/7okE,(X>%UsdERLK0WMB:.=Dz\s=A;+yC, 26G$38bBn0ߏ -=a uZZ(t<Gt1XDnWv,N7hq~| > ^+Sp[S&" 2YxВ(*RUQ%+EH)Ǔ=ْy5yh]i.|Ivn#r~9q /"y,d) 쳫W*Xq+P:wc4]gYZ7zXZִF! F ]ŗXi%6SuUX(rc>zvku;[mKFW"}[Os 3>O>NAc61rH37o+M{uI1]ťTҪcXʕotbK|ߗ+$kש ^3U<1;iZUXOb-@Ix1LjwƖ$`xJ%g?.w# X`Nׅ$%1P0O E'Qjr Eց(OⴥF3Yrv-ˡ ֯Y3/u&β&'iv _=׈o.c&SlWiyLWSY5`N*1] HD 9V2|hZ@t]BUzܐ#Nx2p!-WhEN#80ϑo:xzt[6u˘Ò_Z!U1#Q86e SKcslQM$H~,廣#H|^PNxдO B.r(|0}?!w?< ywoU COL;U.@%{Z6ۡy2dRUI۝)piD ` {]d5I@gr^/h4ieCЃ*wff8չ!*$iʾ~xY }AT" [dΧm3!>K;fKs6?Jn7>6 k/ hz;ovaQ7 {HP̱94 ta*&a=!ͭ(! ʊgq7'B~*X)_[yVV04FAyMrf.?KO$he]˰ŕ{99 kY$vD$k zIL|/X ;!o!`zӲ.X BC]w@r3waC?4xWIOuJ _؛TCAk[ҰiCԷijϴMhl{=QC| `tqhg*Z*{%pפieR>R#hf0!E䦜!T;$Njԧ1#D~8t e2Riѧd*xh8ԧG >4A>Vcݬd*xTjy? 䢩ƪ{!lW 9Ƅ_'StRi&' 5#7 z\,2zh! \%IBv23D+cP+aAחG'5ZO~\ދ+C7<|lVGb_H)[WmGF qSM䐰l(Z,[ȥ>'K+x3v[fT*Aȅ%׹;]c.wO>eTJxϥ޻m5!k,?;g)gYZfc5eae0358f977f6bc2a9d8c8f0ac38d8ef760bce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 02662119c424e3030c6017a821a6c2b6c050602b