SQLite format 3@ . YYQ77Atableisabelle_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, "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 bb+ TL ]/ GraphMarkingIBP:threads=2elapsed=26.401cpu=48.068gc=0.736factor=1.827zXZִF! Y]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^wdNEyE[)y9R:g]ʹ&.$pz0@rqaƄv[~ #QI|OD!Θ@@^xCY,.ʥWWنoo$aGƿ:gu>:#[_Āw[6/W#|G-\]t]Y>O9ȷRHzBkcg8`[p D֒ۋ !:ω8 ț(>Pm+i|-6} `~dEBi(^3ڰxO(wĒ$U?",8;UBN 1aACqfl+ވhT?-rRAY"꓁+{Vqj; P_ FX/|R cOP95α h[k0. 3(: Lj:7;bM5Zn~+6x-+|E.S3ƬiUgnңaxb>%&~lߝp R!-dԶm6 /\?g5 uiM3oWԫJl]㗳BZ(ћ&^qx ݌0 LgYZ7zXZִF! "`]ŗXi%6ffOxfN;IGşjAYx7pjf.\QM@}âiJEsVcZN8 шZ\V:^Q ay%9E%tr4S[Q 7aVgnQM%^]waIb8 |nqu;PHy3EU9_.,&xTEX=*z8b/cP :C6J禩adވ"'z-)Ξ ^IښڀNM|햞ErHIsC۫ 7N3@Cm饡0=up*(p)SL~>q/9 Q_GCGUz^0#>@ |lW*D:fH[whpX xysN;73A9#nݣ+i-XDEhH_e\x~j lc?*B)?B5KjQ _ɿ[U*VPK˾0!>Ѻb;3Lsd_%[%d⩀5!GH[a#ű7gCړ[1ey[騇mDGjJS@i"/*cL"d]X*wvTՓzj|!)h!Yb"Hr Z'd4.1+P|H*k>JT,g1Wy{[-  K.5d@YzKj¦AeteӃns02;PWla@8x+V6 UU-h䇜dɀNwwE1y"@0D':"ǎBQB +0oW5p 56eI8dY} o=Ңg-Kh]=D(#YUhΗ Ayɒ=Vetqxp]2\~)*yW Cru/ՌXRbO;t0wCuxl?D%z3|~