SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ^ ,Lt ] ZF-UNITY:threads=6elapsed=5.603cpu=29.800gc=1.136factor=5.327zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ț#o4{10 @(@Wҵdy "R׊Jb 6K7Jh¯mvhr^^eB,Z/}xM֬Au,`q|eM ˛`o ͠ 2FO]m[]# nn$ܱHu+W2A}U#tٳ?*? %L'??$+:DTv!\^r`6CC!{8:Jl7ȅOלL:_ֱa1gk$Ru^" :A7hϫG/_7Ek|˹uP{59%:T]U7Sv.+e'WkȹgYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP7g]HSd^MCU8~A7#U+R6}T ᥹}̰p%{$\诹 _~C<[wMS(V2Uziy7`uRMxwuBG?˲ptۯg)Cِ4Gt0|L|N6ϟ[mڒڜ3{-2@Z-Yx"4:*r^c %Y{ߦؘDę>_Ԝ]/;-NhsKhX{Gȍ:N+b'gEqXOE %}gYZ7zXZִF! !]ŗXi%B!Bs좰a <~QStgMST >A,+&!BAO ݩdik/pß9 G6tuL3T|nV;)+Qִ+ llϔpcA x%Xe͋PҶ. LU<`پR$o @ TAoGF0G-|j '̳{BѾvyɒ ӽӣ@5̎ȔћIYgɻu|U8tV0.f%ֽk y6=O|(=A^wD,}h5n֤퇙 .dFy{82gtѬn[lژw]@(voN6w( W!6/Z꓉(DSM4luaU0zXDFF(" ܱw#錍pӡ^2©t*Fe]0| ]Z}g4Ec#~X빫'lv(a0FY9d Bj2(=dS}沢E[xEE_l_2 ܩe}t;˪b\*SuGiʛ?CIC,i<oc>_qͼfOV1L"WO322|2:Dy0|%L ݉C0|gYZ98e0fe543fda052beef90cae43e3622c720c1d68555d97234e2215e68dcfd0a908d191212ea0a6bd 169af8c26577baa84047393d421d42606ef58fdd 8d0b85cca7087662a872cbaf963e78bf70e51e7f   ZF-UNITY