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 1 l %S Abstract_Soundness:threads=2elapsed=13.290cpu=24.304gc=1.256factor=1.837zXZִF! sA]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$mt6 oz'x\Jb,G%#Vk))w?:o1)o2V|_$;DUT#R}jϔzjm097Vоsl 8ۓ!y ;ٳ^1A&QYۥKKG^Ԧabe5a#ܠIP P'ڄXE@:zK&O/~gYZ7zXZִF! FKo]ŗXi%}0Mor9sېӔxin 7$ktmDh1l[pGJU4lf.(X7>S`#ݐb|`C_xJ/麁&ōπG=,5t(AtvVvwd,e *VگWSNqS~?݆-ҩ}k%Un݇nqSLuf%TUx!%ףּ+8 wr@(iG3嫉ƶz7}h8gO}44PpAo_j!Ocjl ƶK%&bޚ!/0\|/ Hui&y -TmҧwK&c,Uu:ьBE s|foě$իVX'F=Ȍ]Ğ3@`Z`3 3_-'x3 >ItϚ\H1|&ȭɚrWPpܾWͻFfpI |Hۦ}b2e!Z'y-kR0~OI5R_vq{CXwH"]Rׇ_̈L >\(W}Vܓ ߑϛ..6{`#(Gq'**Z)M̌}+pe!=!>H:pAGtD2Z>/J}aкځƅAF#.?ڤ M|y,ʼn-_ `'`ohV[ ]Gwj0wN~qę~TL+ &#+!.'iH ̌НwgYZ60a4b5c33b59914587cd86950156e1f4dda048de c26292328c60c4cd15ecd89b049981321e8ef8b5 d9e310d5411251e4ff41599a279517c493b62d97 db70e211d5377e36edb84abadb614a97e127648f e7fb4bd8c7f54232acd6d87a0ca7225756ef70580ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 fba2c37dbd3379e22df5c79a2fffd690ee1a29f5 1 Abstract_Soundness