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 mm ||  HOLCF-IMP:threads=2elapsed=5.852cpu=11.040gc=0.412factor=1.897zXZִF! 8]ŗXf1-q恈N|5` 6y}P7(/H> Qw_@+wo__XB/E$r| v Dm8%՞TvehGq},|PDȒvezW/P\xFѲvtP>h檳%[H_Ņ9EJvObJ!G5g~i~ /3&kV48)X3rwpVz5Mqvv֒ g\ڲIʣ.BAY\%ChaSldZug.ʯ}@YDbt SBqqMiܾ (~o^'_]1o -;]LXRxm;xrHqyﻩ798^lgOnq!(+o 醷9opf&2(Z(oK-;+AEbs_-ǗQK"P<{y%5%/f(x [om^Uk̲>i齾&2 <;0Obta`2ȘxKc Ε!\6r}ߺDkwwSO<{ y,ȓ`$?a3Tڭ[BQ!tu-}w0/RQCOKcq*iQ} :!ZpXBkfj}Pl)(]"[撇3ûXQ$:m}7T.i<gYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 4d142c1f8491581cd7dcfc81881897af56ebad22 9bb64d25a454e76f91ab3470612aabb28b261038 b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb143d2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c 344aa01d9faa7875a66779417da64d59809f65b5