SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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\T ]S IOA-ABP:threads=2elapsed=5.228cpu=9.400gc=0.260factor=1.807zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09=PBs-GY!B]%KsG[3Ms]F`tWx1_a֟´G?|NN *@*<vO* THtZv;@d}Ԁh,^Ui`wKFG%)+5hX<glz9p IfgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg%7S4oJz%Yms’ȸ~]#z~C^1&% `R ? < =)ӂ8,AOCtA6]\>oi_|xpdʄeݝHOH'J"~6]N#\;6^Xuܖ>r usEV>'B8*u@;i:ҩZk((1gYZ7zXZִF! c]ŗXi%;sO ~$3)d d/n0ޥOU. l`+J}8rFSAb;C9CiN}QI&ҾWoż.nt}W \ekĜU0zZn_dV 5ROĵIܳ5=s؁wb G1ʘ.h9osވڄ^EM&XŪx/]6Ӑ?]| v-%fjW7u9LBI=?W'HBTO YkRNXq $F CI)GG֠PuYa_h ay hYl^W3V 0ດglM;+S{ =UZXe2͐0.'J|qRH(Qr 60+ӶKZp: j1n8P{WçE'F0:\K]E_Gܡ!+{V`A0(_{$u0x+9TvL $W A~@.CsN}7yB2+X`$41׎Ğ~[tI>hX儼AGV sW-p۔3|gYZ888a4a0a6d2abbc705bd46f6798cf3cc6b4d19715854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 2d62e87539fc2056c7097dc39e30a573e3bdfece 9a4034219792476033628e02b8f97368151786cd   IOA-ABP