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 (' ll ] HOL-Matrix_LP:threads=2elapsed=14.662cpu=28.056gc=1.248factor=1.917zXZִF! Y]ŗXf1-q恈{RI $ϭ N/Xt_8yUHNT-%ȔJ{m\)i~G[t-'B3jM۫v &m/^QN7<^M$ؒO?+:bK-s+$z7Ḏ,5yCrGu3m uSx+21qkvc“k%qS_Ux)iE껪suyW|ѯ1;2Ҳ4t ý}J-/c_\դYɣIQjt5<!CpUW~,(9w\. Cy[&^bJ"(:Ubin,Pn8L!8IJ~2,K@4RQHjd;PgYZ7zXZִF! b]ŗXiɟ1#vX@;- ̕^EĿвÝ, \$SdH낮xfԕK̳m7M%%N Es 9.X)lÏWrdg2*45*D}S?,!"6q'%>\==~ADb5wzfgYZ7zXZִF! O]ŗXi%9(PψlQ^p1a&7446_3>ɕ2׭ve r 7S**.̳iL zJɃ^R.trAGEd&i7; HM>ηx$# R&??lZ ˸ #<Ԑs Vukjw<#m ͎5u < !)鳾 y/4CoˣF]&FI,`Z-"c6$HHcƹiCF@Q۞o2H]\Yuݗ۰ S 95aI/G$Yi>K$"17' 4VLK%]Yk)Cr+ac:b+^61]Cu ʙȫ~ٔ]>QnC+/ |?Z[)>$;wW)5R]o]zQػ҂&_P"kuOzI82Ô qu?Hڒ%,([2dr ¾5ۣcKua?vb㻅~DŽWffDnz-@8=A@SM&JL@&~niF5d~}t\FR[ھ{w? @mi 4t }[fP!k7fÁq[X)N" E!AJy^Q Q˓)ٟYp]QTH!uP"WKn bDyXbD3_2'cjIX3viF&fz.UZ=}봹z7^ܦόLP!6yO[a1vhٸo/#y=i*KO5ir=ReNU_<:8͎>ou CgP;R(̈Kjָ3JfS#HM,!B:Uazte8kv @4]h#6(URx8G̤x /8Ö9 Oy p;gYZ40cd207f7fd98e20aeced911ddb33f548a3dcf396f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5 ' HOL-Matrix_LP