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 D c/]Ordinal:threads=2elapsed=3.678cpu=6.328gc=0.240factor=1.727zXZִF! ]ŗXf1-/6vR[$ l0I/O]kPJ/iL~N@V@*RCw {;n5[|{O,B?G,Ct8EPy}Aqɀ ™{Wx] ئ^p7A^+jG>u yA-m ŝ޼4њ0;7#:8(3oˈ-iۉy-(LA\"iT:əcDmaƩ &4iB9xElKYjUc~4@`8kI ӆ!w1rϽF0Q\CQށX ں)M[ŔM 0w|J/ xcD9謺G9TܜEHBAk=Nt-=Ij+_NN\#r8\vXQW-r Gr?[V7#ӭ60aZЪ\_q+wpYij|$ c-HDPP~6XOB2T!%o{bȅ3 |sZj 69v7O4{)ڴ e#1_OAms3; Btd0 4\{ثf1Z gYZ7zXZִF! []ŗXi%n8xvv{pm15:Kh\;4`:T mVN ^2 @*S<*ww'VTXP6oG):\G ۶oWs$T:A9`zЫR"<wLL{':g;c 4T/duRF ͵\ճa: s,DWsc#9xVe,,&ʀ8Q~z2KU{ A07YѵR?oWj1(׫ ~T*!=/QA@lC5W ڹƙ^ٕr뮋PN?3ɉc>v_vwiArz QproC)([aq:;zFvTP(рr0'UjkhQif#3pgu%ePmM.[T =k E2RA7 gYZ0ea07e2eb048e5f1c7380706a7afdece8a9220cf 0ec36d7ca23942e0d8211bca3458e89df4086332 39fb1256892d3568b8f6150d61ca445e5012297e 4236fc5d5ace4dc812aef1bff77d50fb2f4b345b 46c634f4b6a44212939795b955d06be0f45a2c19 6da2e2a0e422696be54ef36c23980e1e96452ac3 7ebcac4b33b5d2f6eecf065c4dde00b693ebdde1 a2b9477bee35b79fbcb096eb5e777b0aa5666887 cafa73f3ecdfa81fad98de2057649d95f9a4779f d401c1896f1849accd5fc7c91c3a8b9b46ca9be5 d439013a4cc84688243731923c489a1a610e6155 e016f822822bd2151544565aacce9870a7db4521c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e2948032408918089626a22167659fc32b0b2431241cf39   Ordinal