SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \\#| IS HOLCF-FOCUS:threads=2elapsed=4.794cpu=8.008gc=0.164factor=1.677zXZִF! ,B]ŗXf1-qNezGG<ͼ # HOLCF-FOCUS07&F:/9*f\. n)cy,GBhpTo+E J*Mb絳J $d;赭O×qMA!_J ,kch)1'tj( 4?(}XO| @&031sKPnU |*ar7? 5V{ȇA?pGUEevyOs@!Qz9 U7dCSzzSaS {ކ}ON>Rς˛&z㌴4p1D3lT'Am9\vIwRp[pAAr_HsiQ)(LtC/a2ɢ0,`"{Bp̨[dS R$KPم_ɥE'H'K۰jHYl2sėWLqӊ} 9~ h{NA`PUcѽz|׸14ޙPjI=: W=YP;7u!'{{Gedk᠖0fo#X_/.$ .@rAMkxr )8D ^ d!`xrT'r#;b.@~ Ybx+$;.p%@rDz[PwXb0zefpAGՇ?@%m'\IŖ7w]pm,)e&I<>QYyll0FЩ.#>[\p.x٤(p+Jb T]lkJYd;*ҧ?Yܸ,ZE0TPwlV.gH !rBs5O HFIŖ"1`x xmH9bqI2GAJ`Qvz_ݢ#3gYZ7a24ac0b5dfecfd710cf976d042720a27eb8c80f 9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2 bfc710210819b065ad61c33435fdafeaa5589ff2 cf1fdb239aca179843816c6e95592083f021315c e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95 f3317a6f9672d05c24aea4f8d56941943f9614ce f66bb04f776a67c77884faa1a67dce2fd949bb5c30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 955cac15b06dca9509d7874f3fcc9889a2391d09 407250d229e9948c5972e81f7b8961af7ae97b13