SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 \\1 ?/ SIFUM_Type_Systems:threads=2elapsed=69.994cpu=125.248gc=3.944factor=1.797zXZִF! LD]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(v}+yZ ;f^jß||cuz[jHR m_ m xCCG.aW'W~IRT$n((XPqdBPi9TA{GIx"ӠN#ӣ8X nH)oa,S*ß҉F*轁3i2Ь :cGtsc!L-]W Wq45ޭ'm!3` |ykWr-]FQ+TBlJordXIhBEAJ{[!/ar[kV/ 9Ѵ W!g<)#xBf\Au+PrM3EN1i]\C"JM (sɳ]h` I#И8`1Ag#Z1 GWCNqr`K!L Ҕ<|xmb~rBn#36k3tG:HW0nX,*pyV#eަ: h1 Ĵ}6đ$aIuGUϭZhZ EGrkkh4%M C l.?8Qt`^m$dAp |ER?AՂq3K%}\7[khxt9;)Ź ڶmL4.|^ ~1 LXkJvbV6ͼs!A8–, 0<մ.+5ԭ[.?>w&o)|G)o1dPMMZP}\$ JdmiRZ곪UF~RB wak.0OI-~BRx6~A`c-#.;t6A a}E4G\=񞍿($ 3hzo?j7dСE7/J?qA͛1^jH C5 GtAp` m8qyr!Du63xam2M2[}()CC\piPAͲ ~T1 s0|ʾe}AjbcD0b˕[ bKm 1 SIFUM_Type_Systems;<*;=d^,sLpEvۘ׮ڕ8Aˬqt v]"ٮ s% ]6H' }vT,4i%n+y]ҕwH 1yD֤И0'9.hBXc0կ@E1vܦ)Z/mlѨq|XoB6Oxj혤>o`=俍 wd#ՉYaEC=Ea*ذujR q= >Rqvo;x>ie:.&N\1p*)CHL[0?XX!?c(}camlϷl扅`\ cznAiAXYW0K|DyK *萎I䱟EJݍZ/:u输ye$;z$抢%$(^#;st*GoRDe-e` E$8h9x2U\Eqޮnk$^ ’an3g5yoB;\&;"{| RĒ!̌%W$칶s[Ls%ۥ=v/i/2xw CɰZHWgɛ<oMxg6?gW88EeQǔvol;w^|oxExd ?/|NmW=Mk&'{'*N==z/۾| ҝ [!n&tI F*Zbq"&65NOn@&eۅ^Ő4RV+WnZ,*ZU:/Z*N4 ;J=:֑>`zL ~pȬf@627| (SHcUvmPnZa!~ 2Ii^'iJ>&x:æ\).F'6]cԐTd}ᛟҳIo^uY&iOExryN?S)m[iXxKNL |O cBέ]e,ߏLKś.Y"ak_,7,Kk݋kyl 3~!KDSuAr {+Jd 9W,мL݇Ÿ a/b&5v BPTî g?vh14-69\'|O"hN?H*4~M?Xh=~g ?+0F PCZ_P›%å( XWsbkB]Y[]nwRZ03µ A5 2 NU+fPzؚY2'iG(lp^){cN~|Jݩ.K( t (]f A,9T<5Yq\0c 6_l\>^xZW\VPXޯ3:P s#)e5b$'Ը>ψX{N~pOQ9CBNb|'i;kG eM G,ZO_΅Ԧk.zA-k@H-1~@mըxFhgJ_F~It–"b2Hj3nqgR@Ts\>WֲK2ka^oW܌/6GNȳe$L9B9xf.Xrݯ: )}h_ŧ?!:%̪$xǝ9x^6({s|ㅫE‡0b%]a7\-A 3c1L8Bҭ i/w/J-X~5 2rGEGs_x_̺$4|Hqܕ#lYL.;Qtw2%2Q a헜d@g-k3urGT- F+Z|Qk YsPK?I=cDJ|n!lU6xΑAܖ9M7 D8tOaaO{6_1 )z.%`LlL]$^&¾E 0!&H[]j8VWƾu6 R6n,BbJKV|_(EPoexKV G#9,}uGC@"ҷ՗,/&M§T!`P Jh꟡E>؅$sznN!iR=];i`g,IU#u94I ͫv;/('?[v0J(zA~-`'60H N(" :`c,?*Rh K݃C+TAR %%,M{o_/~ЋU)-64nvD~}ѝHqSOJQS!@ gYZ0892a5fe5b4fab77b2315001c3015959fb3b0a7e 15a0caf67337fd8427b43f3f2032c5364ec25f42 18215c5e05cb7451d8fd036d5c30a13800346a58 738ab66ce6583676bcd2cbeed569469a4c5f918f 9120038c1f8420bd86f83ea2f65a3cc0e1f94643 a7680ef19079c95782d3cdcfe594f8767d6c60d2 b30c816eee4d72a9ff810dfa44ce51abb7b5ddc5 c172a9ff02fe9077fd26c75d44371e335264ef4d ccaf02ff46504a87ba3045efaee9fb75918e83e6 dac15d0b85cd4483b314495c1f07cbd6f11b216cb9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47