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 % D 4 ] IOA:threads=6elapsed=8.583cpu=34.032gc=1.324factor=3.977zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K =~l2?kEПI~]vcgNHNɋ5֮@{Ijd$1VDbD fӲ&b5 \tBHlFRXzI]GRaF\nvN[ΒFSe:xLrx`Q=Û띑ύ.c;SUfXR . EX=#$D5Z ?z3/5vfQ휢}M)7;s!#;aбPk93Θλ|αnrjJ]M7+\fŠiy$ĸ1,ÈiXv"哑J _5.tGJpo٫ayvtRw<,'(} f Zu冯lZ@\ԙ$זssV9Q2]Ru'MhAS+C<}gYZ7zXZִF! `]ŗXiɟdN'LvH۹4OV/s'kϬc 7Xbliw\UȀ 炰Dw3} ɞ`! M8|-327,w܌όW}zi<5vJ`uk%5B֎x&9cY:ih]<(RA[[,;sϾ{zdGq Sta {2\@e&믴2zٛ8`QÛ> 7CTߩ^*c=X)e#]>,/B>`T`{xj.WXQv)c`oKAN8'jc!vSRB#ݒ gYZ7zXZִF! *i]ŗXi%9,}yXb`W6 @RJfq%mm$Җn70#@S'8u\/c}їZV7 wU/jRj|ܞȩYm&hnEN`pzAk8TyzYvxVn5-|)l5PC>l\M[{$Mf]tBS؜zi&(np(Hn{.^M,K$}=9|^R'2QUx?,l/385•e7VyILʤ~UGȥM@. l'ޗK ߴ k> ԣGae".ez+;\ AtQ~p( ʬM&,DT 9޺llS];0o /XT@zMjZ;Vo q/=i]Ӣ5H 3̧ޣ'ưxÔEK@v|ն42aU]<`qM#0v(=1K`i㌀Jmj+ v!+IDqಈ"$f9<*^q&Z酿r nX`0(6 ӅnTDgYZ504444eec2e27aa396b601532c75339607ffdcb76c234964d2ce00acad8abea2736235d9c47e1057 c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538 9e9c83c93ce86dfbed668c40375290e213b44d49  IOA