SQLite format 3@ .;  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 ;;B dL ] ZF-UNITY:threads=6elapsed=6.028cpu=31.740gc=1.136factor=5.277zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b SJuS4EGEyQ W~s' _%.>eV_腰:o"u4܅D͛90;XH^6 ɐ ?:e7;<*3^M`X7 q1$g}'"l>sLrP0Mއm\>1 [_Rj 4 D:[ oݟFBS;/2P&Dqz!&}̅MK015ɨ}bZ.06}Gk.. _)?Mщjܵ rѵXQHpFi OCIy$}(RtRkbr”륑 oP-|Z/F?p,bZm ܈]ܾ 8hb̏tH7pXF:56XIw ^^~wNZ#%R#QrfJ0m>n+ρjYnX?X|ʍmRk'&N=߻X搤cb)4k`(ax!w`ECXfX~fs 6|gYZ7zXZִF! $N]ŗXi%Jxѡ={68w#/c_ .td*^ Zefk+V5ހӖAS)8:coMQ~ gT WM!0?-ƒݎpIr'ڡqM4A5DʼZǔ$9Y봜W~ĦOc%XvǥvzNEԑ=P~5}l1F4_YyԴ7t*TN.{Nuj8E8Z fCFw1FΌ{˗JPiBĽ@/;Fvm3H.scX箷jNd20|n{h֫>p&cf(<)ok'viaZ9O;6o˷Sn'XT%9g,! a<M=@xE&9rLCh#ҧpÞ}S$iٳP15c຿=鏏,NV>=ILkc=M/a2q0iqBL#i$:SrB]Kh$"h.Sl{Àv+fܿYsҤ4 W3t.͵4̞ )6C]-,*.h5& vXώ^+ځpqx+sS?X\jaXؓ#?)nEMeZcTҎ *T+^OOHk?r A"NYQ2繴 ]`!%NN1?rPSy`p ) HՔߵѷX8u1M=jpy6E{Mj{ l;әݥ Uf}n.RC` D(c̔8ܢ|p$wHӒÔό %H sF_)[@cPIWߏChiUH;AIHϛᣱgYZbebf6dc320fe0ddaebc530e638cac05287d9a6825d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c 2db43c7225021f48eacdd3c3a76d3f573275077c bb8be8bc6c2081d2bb1bbdf0c404126e9887e771   ZF-UNITY