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  }) l< Sw Buffons_Needle:threads=2elapsed=8.219cpu=12.760gc=0.136factor=1.557zXZִF! -]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]N_r,w}+KhH _W,p^#R<ϻQ[OTM(Eٲni xArjj%[AE?gtQ7U z{:pe6M8sd9Zcsf[&_Avr e0>偯93s+\G4k: bC8,B OLIh"H̚[HIaxgYZ7zXZִF! 13V]ŗXi%6TXP޴uuS6P²ϊG0/A+ޜw[|ayX$M 'bwipO혈$PV}fΨU OdIJBVU' iAt+/I1 Vz1zM@F͔ĉ٠ }hYSyJ, -G]F &p0ov'gB# 5>ь6^]מMKi<0M B݇GηM"F|8^*pYzZT'tՔuL#%҈ԵwDj* 7>8.A7 j39N~#]fAn(Y)Ms* i}*<ˢW ;[R 7Ͽ!2SÉ#7բ Fח`%MKZeQDE8o3:E63aa|reyP%" mI Vv}ٻFcᗎZ 0̴?5?8(m ۮg-(8ꌺL øpi$pXvDQo)B@ ّYjsnoVPͮW |'wL7>_=Ph]/fσN['d±&YiNG/3oQhQؒэJcjlheHZ4MW_EyIӗ.}[XOG Ԟ~