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 A |,\ ]/ LambdaMu:threads=2elapsed=8.929cpu=13.752gc=0.456factor=1.547zXZִF! 8]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"m{\}+˚Xik&s/d溪qN? d 6w>7ۗR٧ 6 XC'yr{76 es ޞ@ _-> l ;qtEcF? u j@PUSd[Թux~YaO,.w1XA =ii4@ЭcysL_wS^WO˽62q{h-E8M|A5UbќKjN`U4y0i}>%,j4ON4|l3[|2v!72ʒ Hr='`.Ϗ T7Y+|1F(=^}S-;$_\&橡cjGe  8ki@/2MOqL>qfᕸ^~td9{md#$f@vE tqD&z<`dPp]yU&̃w+(L Oݭ U?K~&:]26hsJ@12gf#N`KR`$O-4ZC3@hƜoYb(ڴ@dcɰ<:_."IMLtmߎј%?|9Tepno9v~{ȷ81ϸ#Rq8ekT~ iA'O@>6fuX&o?̡ ukg_"$[!u$E0gYZc3f3ca37df449821cc712413b36c1a58dd80e193d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e   LambdaMu