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=31.704cpu=60.912gc=2.568factor=1.927zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^z ћc)pȅILX|GgŬ\υ⋴0cܐ";휡M`T{ڡ5XaP8_YZoy~Z-i™cIE ;$]q'fN ==cao))K|x#r3C3KQļ@ mOH_@QdZң1_H4`#XX<,fB-Evg[`Pji׺ q[3L@M㟌m 'xt;|qr,Ï`VX̯J$=ِ.*=~U,/W{SYoU o4bRu\4FJ-A}^V j c.1%4Gŭ3ưSC]&<!`'1 $:Z׸ ܕƢ>o~JDp?&}C_ =F}5`pAv$qs(#%|C2mݭerg"H pBRI <5kdr׶/Ru= c͈*7)' ڵttDYuUc@DĹN_ 5?Eq_':5>EJ!mpɍcǩrΗLu my5<1Dhiq1 V+ߤUozm.0sw*hٟܼ:ӧIbDP8d, !|9uTr_U s|uJTAH/ Zs&:ZИ@) 'Ah֛f-v&:^D IjGI,DY>Z ć+3bAfӇ׫U||mJkT/)]Ln wYjsr>K8_W?Z%=XW2d0H%Ž((/BK%pߎ^esXfootjEMu梣:6ohA2r7 %~𰓢a]֢lg+K\R`kY+hHPMռC ru{ZcJ!:E;\b[SZGS*zpZꝠ>瞟S]2V|rP؎F9&FF/aiBu҅GZ[`oBsU.8݆mY \싏XAAg T$VVqJvM ^QJS\ (K[#ƴ6M'"F?ut,4ŏq!Tۢ KU;cۈ">~4a,gkT2UR`2HWvբT'r{zZ:c2.6mDq0e0]eJ*a9:_r(TWPy#2Cy<] y >Z~ԅ"u vgI.^ '*nL˻8;hǻq2HUi6\= j>i$?t zp>69cXl+@ҥ Y%6*NvAg`Y-7% ݣS?T7^3_(ƳcR͠"7`ȿ|%@D~91Zz4CmS$r־%4=H~';n?@(m9sɌny@gb~CC63V7T}-cXGu<%Q.$&3Pգf{5}(gUFVo8ϵax+:*L>^[!qp*E*9i[[9IS!fA,‡,:GL})g MMp JO[׀yWƹl ;gYZ0a7a7be79314172ff352a5698d75a81fad20f393 0da17d27643d32af1c4802c0bfee5f40210911f6 19d65ef69215f97830b162bd157f42e0c5636acc 4e4a78a3eb1046a83e7364a29cba0e312fc6e255 526301faafd1b221d245e5c008f8399bb7ee3320 58b1626ed9def628fd67e9416dd535d2d009765b 673391839bda225a6a975ecee443534c6476343b 6948c3d511a4c46a498416986e28d4c55789ed9b 77374b83fcc384b91415ac894015e0fe833f6022 84dd1ae599801b7680e934a89d9c7bc40f9cef5c a46e2ff700c749ad31d73d95287479807bc23612 b679ff852ee93dc0e16e7f97432114638c60fb86 d5d05081d96556cffc77bc2e562c3d2e124b270f ddd52290d672ae1831a4ed3bec6094963c3ef3b8 de0ca67428856e59ff86acf8d9c3a3a670876bf8 f25a381515e2b28915438dbf9d4fc60a780a984a f846842eea2a17a2cf26429d506694ac5b1e67fc238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228dbd2220e23b92b16d36c636152ae6bacea9a6e29  UPF