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 R)l< ] Twelvefold_Way:threads=2elapsed=98.235cpu=132.948gc=2.936factor=1.357zXZִF! 3C]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nm7ZY!Bo.p`VNstᖵ F2X0{$~knd7=t.= 2B4П>$yʺ+Nuc|d\w,[roKG43U!]Ncc"lL Ѩxf]V? UߤwFU0c|ng:zWKLYo ӚO\u£f&cbAz`HʬARlT3 +"3MSO¿?\;*e\dOuvCtPE!ŒHC>^Jr1$N GjD Ag1$CYM9?C~ أf!k?J},sfb#2-j*Z<.?\>Un1oMդ<"v\v%8cm@rShnU-X'w&W)w|;Ϋ|".rl'VewNO=>۞#3Lm@ecq,Q:ӗ\%:[&qm#Ep,s)o}MOqq> ф@eo*1vnb9 t=`Cs+lXv <`|QO*Xz~l%Kg @T850Kٗ1:9!$ JʮQāx)#{iG!SCgYZ7zXZִF! ]ŗXi%921¿ɨQky]z,! E~=F .UfSYڔ)n/c襁6""Xc  ! NlNx#2rq>/d Rkz!Tdt0[1eFMΜ'L2ސb?dsECfF0ѳFDnjqRr_h|HV=PBƛp)~#2̠a1V`ErF$P&,|;0.ȄSs;2߂NC.!V6 OF& +d%="'7(`zF\p6us!j;p8D@Y"nFWҦHbVw)ȖB-dG7 *PVHQM0T>R:8E 2ΒsD %| v:adSWYX$t`[8e&~ s> uӑ*ޡ 6^q,fwyꑆhx^LaA%Pk1m oƞD'L'SPpaf%vWѶ3ZHzm7v'BOȿĭ>G&Zb&ޣV$lZW*`n< !@ v.WuwPf"8J?COedzn 2S XR _jg`Ͱ­ QCQbjG=iQvݷHzr 4W);0dC)wȎ|)D˶qr\$BY8ت=9"~Lus#kl;s 'gRG'wC֤64pNu']9-Kt񐰯̝EjOc[U|>,k՘/8pJ6\QX!-Zh'fy`ۨ2V[QYJkRQb"NH7ΐYܐW͏nņjEjzp;FSb裞޶;8P EIn`pAʑ=WGTނjwJhdcQ{S̓R8~Ȗ_A6cDc!B/"lU}^Kn`|gn0/ )%V$¤0IϴZߡhE1yZΤff|o_scS!I ^ʳ6X,I2<6 ;1ERQ ) p,N Y QDumH%P9}ZW$G :+H$,,Gtq%>t%%*Dg-57~6J KTk%kAm/AU{ e^M" EX2 q?lLZu)4v".E\m@ͱvƘB~4 k*r5u|<Ɗ7inHMDmD#2DoVqCqUŞmOycnVej~A9a bऊv܍k(vJN/Slq7Ir{_%E5gC${rh'z40NV\eQ՛2Ao'$0q*@HG*q+6 F w $f'RjRl }A6 ɹսUFm&%'G*,.zҳZ5 {vHI%(5Qݣ#f7Qw+%H]UE\H_ G'DQ>cA|왑0+{j RX (I\vͮGd6mEț% Gogmdz.48Z7}#ԓw8LWx ,Cw;.yh_D8 T 0ZSro$ay'%EDMC LI8͢hzV+0P~go.ё'>KqiR؋/J>2\dBU9 rrKCz {ɁjqQvT־T K^U-Aή Tr/iDkv ûR>nB&UKh:KB(l(Q$c<1KJ|Pa&˷ݦ'%.2Or:495S )iJΚ40aIM\tjN7Qe~on86Gsh7T ʩ)z{>K=I@0ȀIҲx;cpUKySiqQB\66aCp( gH+P5P'CڍK!.JU2I#k)BKU,s|7,=BqҰ%W|:*5EX_6_GbpG]\-uM= 1Z/RX=;Y ]@Rp?f60ͫ~+f] {F:Bf!A#fjaJU,eq=,}}0a>'?&7ߧw|>2cSPm"Poך% M<]e4<ّiÚGO;ٸ\J)E2U6HϚl"ʁ i,|:#Tqk@gwH|:PIhuځ(5Bz/ 'X $[VIYy᳏)t!v̝e(iծIh4 1wjM|G^-[cP^ZQ՝3NޢOaяELۇeoJgiҰERYs·=#5o Z?2d?Z,3UuU˜8Z/u-+eJׄs .Ά\$R+lew=60@jeJVK  Z?MvW7ǂgkp?zʁgmz"ׯe0q8p&ŶF|ْu NH$|4k^f]ވfLj+Xz4菺{y-8 @]5L.%qo-o5H[Weɪ&T|~7 ݧbBcf}h⠺lkuBkOML+17bz~@/ W,,uXý R0%Jnn@=N# CfdOiRᦈU)5 A`(6ߒy'=}gYZ4a98357c08642bdc62866db44777729a1d880de4fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740