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 F dL ] ZF-UNITY:threads=6elapsed=5.180cpu=25.804gc=0.928factor=4.987zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1mqsRHJIvaCcēYҤ?Y=6͛/eQq4BrDӳ ,5܌;z\ȉ3W޶&ḖtiHy\rU0ۖ9ug SĶtu nqYU&h (*3\O1V,YȬX 0?]xڼ PO++Bz9A]IF|id{sQuyW0vs店6gG6k0yӒ곫z2Jju2NGNo`_ q# FuXZk4gH'|dFhtA@,br~0@icpdzo'ssqjxa][Z<Oc:477I GsFr[`IE/HJn0c}%*WC s tn<1jGĬ/m^Q#LR'Ό7~乇l.ZKRfu\87rVXS0K#|jG􏐠H}βRq)(ftI1Π$@ /ޕF9 ܳбgYZ7zXZִF! G ]ŗXi%90g]=+l ؈M<7E*\KXCI G)P?&/?B?'e:I6jlJ7}࿧2pXx u쫔 G`OSGJUV_;h+y1VCg($jا'4#iP!ۋc>l{alj<I252Rx;%#սS\n[x|cj6M t6#$LFPdG$\%&9v1STǿEG4<L&f~sujw],BRB9X ȴ7-B|3jKo9o#pwz;B(p+,:q[CfgJopnOXTV@$('i4?GZ(0,6 KKxsti,N՟_HcոY;?fp;+sUr @9v@4ՅW`1xXt"v@^{7J[O5AA,˼(JQPnϠ&GոO2}F#@??΂Y;-: /# h8gYZ6911003230af209ce38f0993adcaeb763a90f08038c0e2920549e9749d6e446b2b50cc3ebc6f2bfb 72088513ae319616197807f8e4f1cc64072a2cbc bf35ee2b003a0d399a07bc61fb5c0fce87b5a98f   ZF-UNITY