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 - $4 ]/ TLA:threads=2elapsed=18.263cpu=31.612gc=0.832factor=1.737zXZִF! ! ]ŗXf1-/6vR[j K<ԏStpl`n?GS'GʍaɁk7G8>j20Ry(7(47$ >ւgf(A_)"E[Rȩ߀x_:H&́_@Y…]P&;(ٰ{0aӻSݹߢYe29xz4Dx!2B\YJoS-2d)8| {|$쾒lmR8qr?)׸dr sydvsk+juE NJ^ m;}Ecb"+nqDpC;7:(~We21/ZR7Vm8 q{NcJP PL%";f!)xxN-o>H.QX @4N zܗ0"qPSòe:Tc Z .e+gYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 IJvTRu:g2-Iz$˲a$ i)ǫ"rX 9ogΠ>uQ8疟@9SUe᫂= ƐخYW s-Acfn7Ѐʞ>H<,qYFB`#T-6 rVF{W565gYZ7zXZִF! n]ŗXi%ύw40.O [x坮\tW%8çsL*&mvj)7"l*Ha"HU}*$"y9Sn40xaK)c; jNIk1O"b nǥkdɌ&7PЃ}$%jlpҤ! kD2ӺbOdJ[I5O~aت"|dFinXeDB>Bv(fu2r]K_8vKcc"CT'^ D~5S"r,o6Ъ]Vm{Q 2sT't^VF +"Ϫ@bf5+*'bGhG[}6TYafꃺ6Kl")^ dvz]m"ݜ+V岙l9\Z9oFMk>}+B#"?L;n&"Tx5y Xiw{Y`. *>Nxl"1%ͮC3IXpp켰δV|Nж䢚0khb? y0[DZ;?OD(VƞG2/YU#BX zgk;3g}8y]8| L0m.0+^.MR:awoˆȁx$nkN_m/(mmnA7+.9k@uTV'/]Eˆ^ʭ=[B:*i-$Zg0y鵪ܮ.D*$uNE-5Agp8ݿ2X=I$B#f9ԕǘ!Hݤ%oE%vOH7(蹱qd@PLPg.R?bSI,|++h%4 `>}K8#jfMCm^Џȓ8z$Ǐ}l6|aA"4¦SRtYn|~᣿쳵-̻;Xh:[)Qo֢$VIYΕMU-9zE SZ|h `DQ]Qt,Jku҃OzXa/A5cwsE Unn@4}U>\%S2LC}1<7i[PAHv= 2p\SQʟٕ.vx*\V[z| R7gYZf153dc0576f6ecd77694128a3b9d73d74fa01dc0d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615  TLA