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  4TT ] ZF-UNITY:threads=6elapsed=6.096cpu=32.420gc=1.276factor=5.327zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8C~Ão g?(F_RkU$%HB*nd)QCc㥨i0h-%]k zOԿVG{"]ksth-^qj!`4$@S#'Bqɍ. .xtQ!>fП_ 7 +{;?0O)3"7s)xt%)ϱE #cJ_ҜwgxlrUCTF}vzW/r^nu ”\eёIS/$%3I UɴӤ֨¹ EۗL/" mT?쏟SD8)IT]롳y˘ȿcd*,+rtgYZ7zXZִF! hb]ŗXiɟ9 i:4V;}A<<ګMP7h !σAS-\2SHg'Y8}hi`9WJBOt2>XIP+޸iUוT${PaE¯b{h"(xv}-L#$DaW -斁ĂCILgܦU79eePHqZoeO`EWNC}}Y sA\q0&ۦ[:7"䕂i`NB?ɕ'4BMSx5'`X +56k+\JEXۯXzA4;PL2vD(&' t0gYZ7zXZִF! $T#]ŗXi%G\"-SGR|$f}] spDG_U3ܷiQWˌ"P#m$ cL}!cEPls L15 ^׼ع $tz9,By|xji ͝n^%t| b9sn+tzhR"cEh* ACäv3`;?=Q{Vn}:D$>XK2n%龕Ҧ~U^^D8SR̈~l(֕̑vL Uf"i \o>Gq_Hy[TےV~%K̄'=M$Xca<Ok q^mDRuo[9LSD p_Օuh+zߢAuNNIn]"q}e<:JV;DK'j`Zr$Ư2w78?f5Z<aQVʾXg;s2.! c-"<3sjAZ)pe;\!?n9aL<>$.$h1s۠%-jSs+5Wk ѳc9p`IJ9]qiB4藐^$:LoI3*DvU!ղ6bӕV଀~%QshwSs]Q aݷ1,Gc& M {t@bcpEϻ; -h)M.~$};xt6 ,MH°l̚J^g+|BJvtk5B_ nn9L,~S~að .>_ Me! iS_ġ ͽrIزQ mSX}]%dLCeai.$NAT%5 |SrPߝB2D㐂 7! `rN@{EUF|(:ŭ&a"m* RUہ/IٺS09t\6d5xI'ުqHowgYZdf1bff860fa7bd8f2310f878c67dad02071256d150c1749019ca8e9ffc93963cc99307460c2e0e80 e2ffe1c212219131c3053c0e49b75463a6a9ddc6 68baf8d0b039271d098e47c2bc0cccbe88097483   ZF-UNITY