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  1 | $ ] HOL-Imperative_HOL:threads=6elapsed=41.780cpu=61.388gc=1.700factor=1.477zXZִF! -vv]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l447lpP ׸uRX9Ə /(twQ-{o|p$"iAgءY/+(LLjզ?I5/Bnke7#Y@d~G=}m-b ܶe0o .d9.TAzӯu,BJ 2ZR*=u&9oe>8HwPwU%GU)|l޷G; geQm$۽Ê<,cMi\ 1 HOL-Imperative_HOLB7bOxi|X({v(*g`L o><uXV:ti/ov'Xɟ_ Wբ;ֱD?F^6SL.?>>תF#/5}xt!Ya;%FZUU wb[TDf `bI0r[C97 M JrtyG9RD8IhX[ѦSv`+|*7]у5mq {iIG@I#~qeְy?r gNOu N67TXg"Bs3 84L Rk5iZM'cE6,fʘ`UdC<Ը!9ñu̒ވPz C.p|H%έ=&)lkha;)=G n$:MKrwMIm{!@B7roybqC[lh{( Rl׿jj7<9GiR(⺅qUY?YoKr5bgLm' --Ꮞ 5 *=m& k#%˿>8jc V @z[ tם z0`]sRh`Ke8gVb7-rg0|(RYJjOKIN߆E')XdLԎ926pfnr}v}h|U أn݃1、38U |0tTU= |`cIk* {xo/{D [Q^_vHyfO!GyO$Ck͑)|-4JT r ]omʨ3\ E n}^"?) A˱gYZ7zXZִF! ]ŗXi%90# ڹ2q!-?0r&hrۛ4'>7o:EIw%§LV3 sXM8-q 1lWMca!&'HMf E&*"ߖvu(s,2:#%`UDT:0s#oRT{<&PȽF[21eH%MA[~#hفusH+qNR5A> ]֪BG¬*l7?NWy/*DFdqd:W9u[vGgj G)4El,R06?iQMliq9:4`2o"j&ց'Im*h}7&x;bÍ8J5+e J`H<|y*Ă+~;08^8!`)~Gk"uqXC>_-{J( ^9:.P dJ'QSUnjC Λ|k͓?psė'ь5iz.O &E?2Tsӽ3wVE$d80vȁӳcQdeO"]0./* @'ۃHRJjb$\)KaB Өr}]|zpb丏X]QuTXN],q%%gfN[O^}B8QL+d{L,-0qSd{m33!`Ʌ-Q%b.|GT4_G< _Y /_wǺupB Qr@Nͼwm̸NV|V.'U&`:<R&75u]FbԳ IF3kۢ )z\ݾ"mp$^.ߤN#i[^N8uT2>@+ klX oXܥPLr+Hx!f:*'4z: %vyaF$6,Vyf@盪J Zs $?Y:l c9RwQL v|G|l<.ԗG> nDŽVa!rvxm0!T&)I H<- UZ lx=r*E6Q`|v0W=`\ =W]t@\RW^%#wq0ht9Zu=6p3O D6Im䭙v鳘SN/1B[3{Mx4yx@OXI5,[}Fb:2R6EdL8T 5A?WJXT/`΢]usxl b@9f6//U\Yk$$&^-xp?{4jFS7!xa5-^`iFr#`O9eз\TDT/75fVY c)4FGBk Wx=qiW?eM0h49-C*֝ ";'Oў=y> |]9X1(4tJw=ugk{Qv|ЦsJo'*`2]S [҆yV.f«k$JA52zՃҠ@3rҌiKHGҙhΘxW49;arvgYZ8af2709a6e2956d71d0e161da03e11d5efd2f880fa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfa 7e4070d2ba524418af798ee984dfb220aaec7062