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 9) <, ]% Jordan_Hoelder:threads=2elapsed=19.524cpu=35.516gc=1.284factor=1.827zXZִF! ]X]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃0<L )|c;BBNEU1bAq>s ;bY&#Jd&&/xkS*5˝W*mCNyf~:A$@Qp٦-SJF7*Cf\3 2bM,;5KA$ o1W5:~uP_0('7^!xxSeCjr5LfZ.f)B`'`Vg6)*BoN`?"ph]X>"v?u>Lٖ5z!-"riQZoIo~oPA)P6Jr*1P ".jQ_^%ELZuh!-=ic{yWe?"G s#5S?z:J=͚g UkIucI <1g3yv0)4:GKPorwp9q8Y]>ؾ>C}J B,FqoW(2"KM!d8sR1NMx"6uEgYZ7zXZִF! i]ŗXi%6AtA_D|xݡvf+9`,Kc^Eʴу ~ іopΔ+5<[5U.ݞ7xvp7@si/z2oayq">C>?llavM'w*Kb}=g[`o7sM2 RhW8sQ׀3B<zL r3j묩<iZ+L2 kN=}^gvE_A* CVpߙO6ʣN1I`*tI t ߔ>ɂ< oSq7۞&6Dtid:?3 .!q^c9 g '5ğN\L{׌֏ ΰz}Z2{59ҎF#*яA/.GduLD<]_R722? MzOшVgR //&%ѴoSRˆ^zg+I0scAmmb82CDN=swe-0k;ѭ[]C{K e+GU䁸(FA{)#rXMMsB^hπFoOO![ A 27g?kWp]8νҙ k|']|i18.^F Va[Hl 1"*~$jm{)ih,y~⧤,Tpf1aZ9XB ԱgYZ20b82d9ccd0d58909fd2d7a3e12fca9dd4334a6be003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0a0b61ef0e5c87ddf273fcbd9d26a78087d4bda7 ) Jordan_Hoelder