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 EE8 T ]/ Menger:threads=2elapsed=11.112cpu=19.856gc=0.556factor=1.797zXZִF! "$]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC1 3ti]25>f9U9 SzJOx_~i'HH&X)"U#]͉1]-bN`;F7ɚhX=NR~ewr ąB 0q-l˝Go%ZЇ;U^)2aȰOxBlzVle,BPo_>ӌbkHx=OY9cȣjh:k XCָ5v~ u0T#dAgyq^;{.g%EFFv&.y&XCkQyyMftby- dxܨQ4I`4Mp?lcU.p!ýsی60Q_MyΙ8"yCiPF LL|RziRӗ3(*:h2ϲ' 6K; $yJڪEF1Y mI]<ؾ*^l 4>C}}R/(Y!skF$Ưl~`ilv9L=]^լt#Bj)'cvp'Ƅw76{á!^v37O2qQ?;P/ ߱R>Q .\nwv׌)Q\Fu zyv>JLE1GDLEq{q ՛ K!FgU뛧]G0`2A-qu4p(arV]~I,"NRK0'/TH"ÂjTFBb6)E>?}#YNRTwdeVӗU=~A> CZILXM?""ןNn+V o)Fu 'X˟ ,,tVch h-m<UȲ͍NvbR+ϽEe[u[9z F8}94oD!!kFL]6h&ۓ? -Q<;Y7D!OQ3^T. 9ܹ$W/ 1AeA|Б?gYZ482e4e70538e651963ddd1a5a542f0be33d9d836a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852   Menger