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  f?D< Y]HOL-Computational_Algebra:threads=6elapsed=38.324cpu=114.460gc=4.432factor=2.997zXZִF! 3Q]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D( $oLBw;9çebk|Eр)vU& T1?6f~}zva oB,Ѓ6pp#8E4U@3u_%?$N+^mi`[lݺnv(8 $N@fAsQ^3d6< p86C |@iwyCO/:Vyv&-Q "1X}1bخ 3W;o/ Lh7{{2լ&g#3P;KElssӵ6[ĪY$|{Ձu ,'<%2vOSQΨ?v} 1Dޞ+S*v?zݶNRZάLP#,+PhClT gpߴ|&d+tfX_8t7#r~J(ҩB~ZUܷ xdk҉r <bKQʅ "ϰ!el~֧LشkakzV5h40AqOe\tj0 L'\HH)B8fn<+ ? HOL-Computational_Algebraj%F+a4S},A3ao?X6Iw2ⳏY=tD5=v`Q} @6.5,|8P D$dȊyQ#olՔᕬ;2v5;(!VJՠ3(sTZe.=~?\ }99>!sT} ƑCֈ=_T]oLH^$~jSڳB(Q SjND5fO VyXe KoISJ,MZ|A- _/Bu!XGfz D(=W~D!5o@X(2OH* _!C: lRW࿃ YCiMYyY |l4Zʵy{-[(*m7+Xa*gDP@2ߜ2X3K j\y?U7ryCA<,͟R ? aa!W}w *'5`m7:*=Tku_)~6ꠠ_Rjy?[y# f{gYZ7zXZִF! X]ŗXi%6WbVfsMuɠy6ܵӃ吪m:[jtm #j8I~$wG2"1-:0޴I'Uln7LD{qJrˑbBrx,[ " ȉ7}c|(ԀA¨h.cUIa1QoFL֙߈yf܃.9O ,Gl(Uj.L8 {hsh2;wb>}H*2N4K{L8$~4Vy1ē[N ">GZds|?LSA*;n\P@ dlKq7pQӡp TVz>+-^x)1!14DI4qN ՚ܤq|KRhNL3Wϝθ[G9汃Y\B0O2p ݁yP É%H22["kјЧs!/(V~Ͻ'dsCyATe]Q>dX PpdXeu6ڡ N :"5:2VĻY 6ъ*vH[E2g82[WOO*3.#d+i(;jw*zk$P]|ETcF華jEó=iufW,jELƇ+&ry3Zץ1zrΗ綒3)cR%%hֈ J5xxR`p~M(1qF.I+n Uro 4BD#Pp"-6.mi9LVҞ yY&j//PbxIl2Q ^mֶTkNo6Լͅ5(BR뭮9<wN[OypփrΏ{md]D@TN|0^6"1@]&svvyk˥e 7'YZXL~;v):1F|`)Ƽ޿x),zii/ ʭȵBZ9Hes鬜w=ͰHO@Z"U-7%;]B\3z$R΀%ZM-%G+(U1)FT.Q|~`T85 e©ʘqej~867YiMӏjTߓRNR\f*.|Sv/Sk*ʘ^#Ww7y>]Cgk΀dfdu ׌> Oa?ShlB4;4ip[?K՝_-6lɇC;%Pj_F=Jr}W)m\:zX/&% C3\b&P1|C9'VKMaIWrff8xl,)rdx] V6-_Ĺb^%Wn)) 89  ˆ"mʍ%7znL2杲#"O8K;KJyD y]*gZFvIC Q_4p6|uoS.ד:ִ;h֙9ւ4^*L/;fK0RfOZ+r9ŜgIYf HS4l)JF Q5)"ih.6VٸQZ!("kHOOq|Y)$,zO@`Yg.iZE,fRLCLog Wc9 BѲU1lybFfg F6[#Rf7m2dAx ¢Mw6&mmMp#Ϲm]cdYAԌ.I@{Ƨ!˝)PS >P'@jnJ"_lOnv7,@V RS)-"Msar@oo-̨İR&Ǟ"; AM>> %#eE(8[C /obT wX ~z*@x.٤u`Xf}R zVB Hl޴m5ié,XJDJG'ɈHrC0p9G&{\Sy#CkHIٳ(3,u&3эbyo(BS"kwxgYZ19960bc7d8b92d1582c168aded65cdb6b2c70109 1e1f490414b881826fa77ed39df2e80674530aa5 25429be490195efa63dab649cabdfe7e073414b1 36b8584ec82c8afdc1589603fca2b91a2eac3bb7 42343c8111ce02703531f2f5ebcc12bcbce7033d 5c38bdff89b1c683b958bce65a050098a703f107 68421a34e716954dd8a2cb5962ffe14caa5a50de 7364e9ccf7ab42c119771af0b30c338443b40c92 96dc0ff1a4cda12e5cd78e6cd384ee1a92db70ab 9b9e177591d02c11b520dec097a77fabd4864729 aa9dbc1d2b68c2aef92871faedec6c0c0d75df07 ba3b3a5730257d7f4916bd70913829a914ccdf7a c3d33250becfd164e282a97fb11e01e7e5e51f7e e938de90145410fa9a5b0afec8a7862144709df2 f7174a3f8f9173e6213fb49c739b97de30843a73b36e7b1353f0bd9851c90737eac803dfdd0f2217 9d78df72fa784f202f3b4a395fa5870fbbabb523 2100b2a88fa161bdda70bf72b1cce1551410c0ff11b0e19c2549edee35b3da20ff12f8e39b345c02