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  7 7> 4 ]S HOL-UNITY:threads=6elapsed=20.913cpu=108.048gc=4.772factor=5.177zXZִF! 7w?]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxOT5r5Q+,/'DZH@: xdzV(&x*fA7dBb˷P?QyLǻ\fi &@G.׵rb(h?! Ń%8QG >qjpZKxĠ=Th._KDH#p~tΑ$CM=V/^'KPE5D%FAC)z[I㤷+ewDt{mub4.Ha+$xRRU+En\G'ahwX4mY>h mKB'浙 *3˗0坼Rʻ| ]xH׆A{ϼ8MK;YH77~!u-CMr|(*x7p̗9WA6voijx1\ TT&&7FmMR8Ի#t'#r@flHƍZ>XaLkc ~t9bRþ3􁊷_傏N! ]^`FzY %|ubLG*OS*[!bL nR gYZ7zXZִF! ;]ŗXiɟ1'x^܎Xavވ#:ԙu) Am"F|sWkjXdlo߬H(<k8W xUKh>DLX_ݢ(|:RlO}a®@OvWֹUqoptVY yǾj?0iYpNG@:&U0jhhA&X,o"},AsuTiGjVx/gZѝ'{ɜIN@P:ҖޑW96P uA@'*U&zNzd&K,]+-8@|}ͯl 1#@f:?ᤣ(*)쇫qP > ɲδ-q@T˘M8B-+91eD%TEsQDhUit|N`iTCeloJDC+S3x"9ٙ"L_V 3Ǵ=]{B*!"yީ U% / aPDROz e])CN\2Z 4#1Xg>!{xF6Iz $@3:U-qܩ<NrNEc(Yӽd)*y >?N d!6v/PWq7Kָa#;B;c+|+X,V ߍ`ar6tkQ˝0Z1BS\`(& E‘o%r87hL`{XotxZ׶`I@6x, tjܖ5̴ho]p1*M^w<"9kuVLPSad1 WL3"0cP؃1 8S{EV@^j4qEb-Kѿvx{"b%rH虊*A?ȚN'G\j+}a˳幒Ѵi;gkw +b~_&AD&mR6'v'Q*_3 m*vQ kwDBT4Dpky)\LcԎ5Mӈ ^tU)ƨ+3D8I%>Ϊ >SG^4h8Ӝ %2$,-.YȊEU WH"0?(8g (Vf%LMRp>P#bM#Cxbzdł1\NJ<+槖5Z> K&EHx]n=Ү60? ʾ=TxB" #uח=@L+yvXJlPqj 2|Qb_se,m+f< ee>ꘇ4/<l& 5bu4lN jVp9~D_۰y?ð7-/\ޒn7CXR_!YB. 0a5jlWʯB"⌑rn] W%~;Z8rl!O4tj(瘰%*T黪*ncãlXklWw(Lj x?޴9-$>8QB&6NѢ)O?GgX7~- oʐ<>j 99mPZ)v>[ՆmY;x1\ ÆLx}!XXW3-%-nݿjEsw'@xF,4x(h_QCP(zX~7x٥eO 9yI߮߈!CcYJD-1Ͻc|uPǰ3jkj"n"?[+xBҤ{Mnk^QݚQ TN}g:wCO <.pJ3E =2: B斁:OGrYѸvہxO,q'•0rɗ!K1"s ߊ5/C#^"c3Tu#dfhO TgYZ0ec7819f9069d1fe91d38c19362232929c940c6c7c385341d59add624f3803e0e2d207c16fcf2b8b 4343be3d37156aa8739d2cac200a596017930174 ed9fdb5f2057cd9762dca239523ae99a38516ed6 d5f640e7dd4da9628a045400a643403645b3252d