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  D t ]]]ZF:threads=6elapsed=14.774cpu=45.144gc=2.480factor=3.067zXZִF! U]ŗXf1-) enȈA XR„ k;eMp ۦ֤2k[?xk($ FѱgYZ7zXZִF! @]ŗXiɟ 1FE`空/}WV(8$h8E,: /됥6;wm+ ?6!LNvVJe"RFR4%cG!uOywpo&scy)0;MfD-/6z˴HSj$%(Iq% Ȩyi^6nyNbdp"=Ɉ.]ѳpx/,˼D!(MӃP!0$*(4{ŽEI/Vc zhf&]IH'%.} mz|4I(mwQQ{=e':)=&t^bBOOr⬶8cj q?z9laܝY^=mŚV\ԡmf--К%(rq8N@hc g/@[Z4/ ȟ*<|w}}RęY<#G _dr$mv< 87ŋ3R}l|Y'“sgYZ7zXZִF! F2]ŗXi%;[k8F: jb☀0#j.8WȴK\8Oǎ:&6!%[^^2=,|(t@%(uץT+L'&MDN)kspءnu K(+HI9$cIsS7lQ >*QE. ) u4T_y6<Մ7x7&n*>[STa{\md<)7;.hOݹQC %|5_x|? 2U^Ε%\ Rk$R}q dnڧY%B>WmI6?h9?H|nC7;mٻ$FGT)C>e2p*$kLg;3j (@^E5dq)fAJlQ[Z0q`X 6W9(>,2# ?F;>1ƣ /3`3Yv*Z sy