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 xTD ] HOL-Bali:threads=6elapsed=59.802cpu=198.300gc=9.400factor=3.327zXZִF! Bu9]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PCj@s3m/Ijv皜"ܘy0،vt}][? Zkh3t9Oa7Q _1=b{#YJEO. bT 5C$'rXΣHsh YQvw4~(ˑEJ0{ZDi2yn5NGQo_TQmN=w喪Vxpw8cxYY9!nLLE?بg.2ipbMX)w hjLz(%7)He P@/AtسHB%v nkIĺAIPhb:bFsMDϾYR1pNʤMܡ ,,f Lfr&T':]Y0WI!͝#6pib0Q:5q&nӚd7 ez5/i =n_Ikě>?:M,jǕ EYٵ@rh t bfq1e RX^\ 9;S b^dk}:Ւs5x{9>?$eóN4hovEc 3r1GE)ļK\0Rq{#d10Mi"V4b?'XB=`\0's&r|Jh@U.|N0٭&fg<v^C:|޶gPNVYq t8r >Pe%ܝq O*TKѪw^˅H$m2&t1l.QY,(RfBl05gMx v"$.5̻#Hn'XxgNǎD ̵VŊ0ULQ8~R_Ht)`: *>6Kf.&M1rƘ%ƌjR8eJK)h/=hCpV?'AAКbKYu w_ps6*%{ב.W֊$΄=<1*^&8y0i~AU !|\VGt~2yNMi;\0lckUgXCmnl}[=[ϟwvxb4˯C@{HG7f:˭M1`y2*)<(^6Oȥ ATco짲n:~UyMaH,!}],[?.>)Be՝ 75丨#_޷`hP<ŗv#Y=44g,0f($   HOL-BaliJйo,P ['oEۛpp"(< LN꺶i ?mLH'W*Ki>.m)$M.D~"eL #Xp$.]YUO.gN)^o;UMYiF^Fs()ABanZED&~dBAH[Y/6TUtC=',O:u۽ʁ YdgC|$""6$n ?_*p2oEWNw&5*W*ޙX#'b9q~$[}UJgٙ2ȷ{-4eLbjyhG!qc+TvSհRߢ+|<6ڂw$۪b*pW^vQeR{`;ړ><3-&nQ@elom :$E {zிE$d&\C>pזtSHµ\Gg;{E)q+kF2[ J2'(оhM;gzs7mc tp{lSvׅ\rܠBfתd+v1<>11H mΕҒu}|ό%Jhw-7hXS19jju.lᇄ'K{*MHLwoeɍ-R2hzw2uڇp)wNg,Jk>t;+bz6ۓ9-RkNJiA!#r8qLvb@0690.1l\Wb$Y}S:֦a57O[ic>2MYW}"C_Do)q`Ц, ~ǐ7~s'1%b-wF-gQ`07 .R}NťyN=D올wGOL7ݪY~4o@F ;+Y@+}FB2a r9Lx"/MB:Ta5 a[?Ԙ&N?X"^/U ztoxkG@#xsRJQ Ui{/Nì 49֭/A"kIOrש027DOJ_ĸ5} m㿛 FYoNv;QUC^戆sd'6ż(~uPfƅT+޸ 7Pؓ4z ԡxL:MB1XSOAsJE owp@jpW|@-Gm~'avJ6\:,%hJSP%E*KCϸO-by}Qo3!'l I}GJ1鎶8cǭ9{iYD"VuU9)οTF5P}uIxOA,0\GΤ;F6(#A5)DŨXD3j R}E3m34Q0tyZ3.۲+3R(rhƋ{Ӝw U\(KEJ{ӢhxvH zLDirpP MgHS,-'$TWRB+6ԴqtYy/ۑk'7~vJ$:w=STfĒ@OԞû~m?~`*zվLQl^P ȫ^W(ʘ!px?{'ҡNl4|iϽu`q i{;Ŀ&C6qx6}=qC]ՋDZJb-h53ƀ H\D3/]ƑJ2u{9zf9 fp@5Uc0rf%@HݡPqM t-˓MK;߳PȤONۤJ1:l󮫨yHyT6e2k¦-1)wGDjeN}FG~0b>x'2 nQ~j;=I _AdW0JqV_dY^|_FZR!a4#LG3{ib9tƢVEZmc蹓M#[w0/G/(˔Su:eRJ]H/~_">ѕb~X_]%{^@-;MװL΃^pQFUӻS@G#PXkkhxV0\as jwBn3s @~fSs!<j~b' bXV t/8fd2潟?9;;X$C͉);1,,c&Â\UT @UrJ_uG;O =Iʅ{d^k;^,GBGiDoЁ^O:gC޿s8^|6Pq議 q0-zAS*iFߟp$?8teCf?w@XTõԽF>