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  Ml| ]S IOA-ABP:threads=2elapsed=5.210cpu=9.436gc=0.188factor=1.817zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09zU {z] 4V]\*yMH8e֡8L|Hp42|DtdB _##лݰm`+{("iaj~9sw7\e+^XQh7z̠/D& <]VGzX;:lU y gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg"juӊE@B))G1~R\'zPײС= KnbQޔjٟ KFz}?d L<bUX@u5LѼ( ȅo"!CmPR]P+8pli}*-qAZX@>&C?3*A>z4Ip`ĪڱgYZ7zXZִF! x]ŗXi%;ŰA/VwxPcLq s5 < awvMl "_߁q>9WH %@-ҔG~ AfD  1)5s.ƕ,i%Y qu}X\?Bsꀶ&(]9D]je,M: we|(̏6io& E›? }P!"mQƧ|;6 ̍k fYIX{0ҀdpdȫjG *Im78{󖤯bn Ϻ{VJiS@nwO01!~X~Q Kd9ɳPak!AۮH>XeKf,1@0~s-8&/n=bFQy ö1FNa2xTGkwyg (*.Jq1E_DQZM|Z_] aDg0ä]g34MgYZ469124d00c72f2216e418e5aad11b6be2a1181efdaf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 73c679a1b83e0448db8e1d93c91fc078574628ff c0f69c739879a562d0ca26a9ef3e3fb488c4e908   IOA-ABP