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  ` L }/]UPF:threads=2elapsed=33.765cpu=64.756gc=2.540factor=1.927zXZִF! U ]ŗXf1-/6vR[y,o1=}8qՌ!bF)K*ȡ8DGa9H^Wip(Ӑǘe02kL DZlcs&zHauQ#ЋmG-fݹ&Sb.'&BYԙ dV`3-!)F$뒨b]UD4b`\Oش_={1H:m|a+JGGlifrnu=BV:Y{8a✂LW$7|˶?cP R$6qd>,g1kO(n2֟:;{6`Ы<vci؈Tj*t H#BK {iz {8bGʩI얲0ox] kŶl33%1 LNײPww٫agYZ7zXZִF! I9]ŗXi%rAp;>- @Ղ EIiQ Yf'GU˗ˢS5lr `^l)4Ѩ"Y= :d]A8ub)᫫&$#C4,D{L[k&IpP5%)%y8Kyϰ*̄ B[/%QM{|x΀?z6&W3nȴ+Z !n]v[*pG[>rYiO[6-J("4o(z#JkhR[*C3etm@hIJvW|}0i;3xP;h uݤ'q+ D+#oV-xD)y%]b뢛Z`ECSgST{_%ۊI*ם:OUaU\ *g=`~ˉ66X[9bhrЍB$ގu N_|'A R}Tfw.Q\S̖4=̳.*[%bu]6 k=PgV3!԰kT{QVy11i# YΆqY?y3\ns )hY cVctW# knzrHK !_Њ{ `)M"2WSE2W]1hfOWa 2t:+\8##㠿\wKօu$UW߅8ms.Fgؑgwnn_0 ]"V@FWkGw4$ >-9M<;~utZIt0. fgP&+( -Vu~9B:ƍjX P%xK?iH]Hv硗=e_$JOhE|CW?#3'gJcI'_H},"a6*Qg FMq+>N"ڮcsM~\]YoWY^jm*#bCKsLppuX^cäb寿H5~@uM.׳:('-tY YhFVdUΝ0Hed gcЇkFgrx򇹲WP÷^cv(eX"BZihłyt6xq`Qy1u7gM e2(bd pVv8jT$.Эü|Cv|t3]Kuy4Wn gS͋+B55=D26DӀL+\VZ":> okǂu. ̣|>y@i&UDb1 [P68ѨcQYE '^E8R˱=W/oĀ (ndU/e.C\!VK=N싄޽qKu=DB_¦%T#wJe( r" /%Hr)TCM7.)ȁ[c%iQgYZ0a7a7be79314172ff352a5698d75a81fad20f393 0da17d27643d32af1c4802c0bfee5f40210911f6 19d65ef69215f97830b162bd157f42e0c5636acc 4e4a78a3eb1046a83e7364a29cba0e312fc6e255 526301faafd1b221d245e5c008f8399bb7ee3320 58b1626ed9def628fd67e9416dd535d2d009765b 673391839bda225a6a975ecee443534c6476343b 6948c3d511a4c46a498416986e28d4c55789ed9b 77374b83fcc384b91415ac894015e0fe833f6022 84dd1ae599801b7680e934a89d9c7bc40f9cef5c a46e2ff700c749ad31d73d95287479807bc23612 b679ff852ee93dc0e16e7f97432114638c60fb86 d5d05081d96556cffc77bc2e562c3d2e124b270f ddd52290d672ae1831a4ed3bec6094963c3ef3b8 de0ca67428856e59ff86acf8d9c3a3a670876bf8 f25a381515e2b28915438dbf9d4fc60a780a984a f846842eea2a17a2cf26429d506694ac5b1e67fcc7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdbf446f89583d94652a6d19a03a27c4fe830bd7696