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' D ] HOL-Matrix_LP:threads=2elapsed=12.582cpu=24.264gc=1.296factor=1.937zXZִF! ]ŗXf1-q恈{RI $ϭ N/XtsU-DOD@4_@#ƨ5dL"âul K:'@:PDڄMD3"(F Tms _b]M笛ݟ.nQǟPdJٴ2|dNg7ޱgYZ7zXZִF! H]ŗXi%;m>~u3oF-e__!64xy2g1뉘kK$pHʎi#VKmdή?8`ʋM=M۹AB5j T;?_h'֋G¥gB5ɘ4PV+`Ad//TM)8(<."Hgaǀ,An>s7W_nU,{+sr„&]ΈTQYXb;&ޔpHt3!`iR~?'m4fS#CvOC=I$(:vLCZtԼJ"p`6JHbJz$N+rfN5燀z{40߅dqZ!Ru∑Ki?W4K%й:/pDȋ: ap5e( ! NܫF,R*8繊e0pٹ, r7j'"b$Gfr_V2(S Arbȭlp3m%^؃2/x/](G2,+Mj2#? oR035XI} &ג}FBwIHb.t *q"!t =Q\ 5}r#)mah:>g'!IxKJ (,Vl/Và3R[ WSaa gYZ903949eb6aaddeb2248fd8fdbca33951bcaa85ba7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 0c6af15267b265e8188e286a4be24f4639b3ee7b ' HOL-Matrix_LP