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  n n3  w]Applicative_Lifting:threads=2elapsed=31.018cpu=53.340gc=2.984factor=1.727zXZִF! J>]ŗXf1-q恈ܗ4ޤ9ũBvp# 7%}eowIDn{A~~3WIboiXkQ\͖TxRʦl)s>ӳ)=KަM&>lDdnX5\#q$"cGtE/;$wƨ"Uf0<9%PBV's .7⮯1bqŎRݚU ,GVh][}yR"Ij'G]VJM('W?nK3Ѝ$S1pc˴Xiy:FIZ 3 Applicative_Lifting>& 3Gbw',gni9~r߼1>DRo·XʀIB#g UeL RU/|uED 8t2EikHf .%ڣ}7/SY Wz\I*c4 -E}Qݘv>J]%jܜSG97zNLnA|Fe-%Xlmq 6$2I[yQa(Ȏ82̗ fAK\L9T`jV1q*IU(,w.֬g5./lgYZ7zXZִF! ]ŗXi% J C{}w{ws4g%(J1ugF}PVCTyi/*{3>(MqЫ'M TAǖ!/-%R iC}(2P;k`o`~2u,h%7Ĕ0(Cl2k¹N .-I;+JXͽEDR"p&l*l:?0bBoJf3+7B4L.Q`v݅z:ަ)&/I_b~ً]QLOΜ [Biޓ]cKjbW>)$ar(rh[{`F^jei6?1^< FBf:+pXJNS*!ΧTքlX!YQ/ㇷsG9+ׇW\:FKP񞞁Oc2\[ jñDX˻7染V߹tնI+OK|@$֩0>*NǿO9%\7Ql{!eiɴ YNTRb^^;σqZfcY;&h$$¹'Kʋ{ 'W35- b%ܲDd 3b ZԿ 7Hlz#kpߖQw } baa`|WHp