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 }}9 d w Card_Number_Partitions:threads=2elapsed=5.772cpu=11.388gc=0.180factor=1.977zXZִF! ;]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}+Ҕ#`QzhъYH@'Щf)Оd($yƋOBqp )SL 4Sƀ0f+9(kuʊEB23-).8 8L1+ݿ}~hW əgiWND ѓ\vε+@ژmA eNXxY(##;ZdM]fLݓ /YHқAU{1Ir`*s2ʪR}4V5l r+'ͮ.p'hOdW )'sGWfcP_\A^Y娴@2BQJmRzΘtH,jG̽w{B@1CVT}vZ~T6'f^q,/0)eRxwyiG Z^-FD5>ݴG "_s!I k̎SVѳH%A$}H6*Q3b"&Sg9JC=Fq˽~@uBeT}GF@iiHF,6Թ!x9voSz>/- ^8j3pWbvPQ~Գ4[٦ͦ>ʻFJLt]`Vpjԯv^|[}s"9?d㏮Õ<͠ gO>/vh ܁nwcȜgYZ7zXZִF! '@]ŗXi%s;YKF!n!O[>V_^HufeF;4?V8i4DhVXV &4\.T@`!?T^Mz1inQWlUyfOi&\f.Ǯڂ8,h/R3IP) m)5I)![FNܖ}64|Yg l2)&?G*+ȏhgh?IJ|d%H9d[ SfȒ-~FT{-h℞,\',1K dФ~O4!QÜMTKnF:QrK72dٖs6?gܚJL0ߊn|gE* ɿת72!x\fáHHIԦ̷d̙+1F%ӆ2 /)Dž67 w)z,F` y.< %dw)-|E[0g묹EUVETIeHԻPleݡ u ] Y{;A8?3KTDR+BTacd03n8pMBZ@O/00adBGL ơoM!HUƒ%y6,/g\DSۯUW?'j\L=nɖ(JB4)/tWã>8:d,⾋<1~7K#~_k!m$/Zx>whGO+/t  O