SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info H5 dt % Lower_Semicontinuous:threads=2elapsed=7.631cpu=14.432gc=0.304factor=1.897zXZִF! c]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&WDsjрAۢ,zUBe*B~Cۊǧ!h` ,u0 ]MU7qGaB@`wp?vƐd]>.qPf t^zKxb Kl o1~0Xz{O'^."2[ U,@24&j#G2> -hQfGp}fEjRcV&|qS $`a#X|29^>LrE6]WK OCI Ɍ *}k۽7\C(L/[CƔϿF*GJRFτ!BY%n:7/ m/|_iLrE1u]CTJXVRhs#a 3 P;D)%JɎP En:E7DHQ"!DD.Q5R5f>0S+ަuYGMۦww;t5ղlͨ!SVpz 5 Lower_SemicontinuousyPYXŽ_JPE\pDȭϙ'I11p\'xnq stV;7gm~a@H;?f`* ۚJTV2FOem#p݂k0}w9 &-0p)~6cr&?YG1scSEQzPap 0>w'TK1N s[CP C_cYS,`W ] pmM_ 'P%,y`1yt"wC ֓X9oa)Ng H6pfD31o2>"jAA0-OeUBMlvF.i%lYM93/My1h9H]$VZ=oEsVmxJ6^kmUzCL~vaQz{e3Uy)hS d6-S'YUMWT$X7XyL~x,G'ߘrǖ{(ڞ >*sa=CCS9y`kD@P"T6f(:mX !WW5NLbsIzܱ`Jxˑj&6# kJ̛Bzϕ]LA a5g /=.y /^gYZ7zXZִF! 14q]ŗXi%e Uvqeg-Y#tĀKQ,E:Y lE ìva$8HM7W8!?<k/m Xᑎev9@DKbShgT--%P xp{r枙#zKud$/{MBQ`I%ugo_ӺXWg9Dȯ-6R.fߨm6)2w[=d)֭&o'Zn`z97̠Xm GtT U%&}ltH=NzUWz/"]Ý] Jj!^W.Nh;s4eׁODHl._N/WTN4vK&VyoK*rZ61Y:rrӕ zx×L IPшg!l'lHGFxH]z˲ҌވLlz6i R_o}.ב#G+VAv@0|..hcxR o¼9ic%FS>tşP2p';c_(!ƈ1rD3aQ %H9BŎjun}1ɥC=]jli:OI>kc*D;x52NĴ@9l7N-*2敻93%S;ЅČq/ +Sn5m/YGvVu]Tc N?bw9vm!|+II]io2_n7 1ЍJ71erW_ͱ ,uOf9J;m~ts݀&(ףpL jEb-gYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd016980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65