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 1 LL ]% Stream_Fusion_Code:threads=2elapsed=17.134cpu=30.092gc=1.364factor=1.767zXZִF! "]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]S=Qf VчEs$?;2m17ÞP6W[}u넺זwGT~./߉dӅ[Jig ԊFS=r]0Z3Hc{3l&N[%nh,QS\I ~ 2M8@[#дj* ~1'cZHS ؠ10f*y xkOʼ [VXGj@7b#,&7Β7Bn?1LhKB+.I6 !dg?nC2o#l:,yNG/iPg3 `@O(Ei?A6 |gO`8hڨ\,$/2?ŤoLYm5}LLVjT/bB +{X{LTX"3Fj q n 5 9ffl#SJ`&&_f3s#efZ$ܩ<2 -i潗ٜ$JAηCػ۳ȒEw0]?<[WoWI^qVQ"ϊxB#jr{7nHg$e-0j᷼"%Vz4]j8!jAoH-DӝgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+-l.5'8YX@>{vMUQٝ&L{߻@Y: N4R=<4HB>ܝDMGxF{ `,">gYZ7zXZִF! `V]ŗXi%9(SN\3IiKKYԁٻCKa܁&m2GbݟOםhՅotI2yG{qǻ5_#H m"P(UZzb #,ĹhRgJ*G3-]ga<]c#NǢHuV5"Ln8)VuSq惗 SϺ,q'IF5[ĵX~#. N41rW0rnbtw rjI4蘳E |YݥCsO/hȩPM*P0M} i|%\,9 .^?AWͪ_*Ksi$@ c{y+C_y)T|{8(u< dL m7z]R_䱟Kd8eqʢ;nݯ7lBt-D2c};s΁ڄ{1's iCkĶtHbZl (J\wwFh([ `= 4I$#Jp5G1,*ܯ0_z+{s0%{Ĝ=^rA:/Wҝ⮙*#2; ;vvQ0vRyfSt""}Q?ʥ=hq#QZ.WiMvv햮:Zi p?D ]`RmЩ`C`FK3M(>I7.rd]lyfq=.|m/J}ٍ͇h215zZN)/n> ŝ@Mcӛ[!ksǣsj ]9O莆O;(a9J.hO Y ȇu$Q~Opy)jsNTn+ -iJެ` ڂ3JLb;ĥ<<&{!Gsna2Z2d>!줠g+}7)Y l-(`k 2 _c(c?-t\Ͳ rsp$b8KL Q