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  -?D D ]]HOL-Computational_Algebra:threads=6elapsed=35.964cpu=107.000gc=4.640factor=2.987zXZִF! ,]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(?8.Ţv~(8ܸe'HV~=*SJ@lG=x%3H`4FdǑ9q=b&օoPl FIN5X6Vʫӽ .mHFDChRMkal'_2 w9:xݝOj1)Rc!boόfە0 zssNPCThTc2䕔kӎZwh RwAIXe1;Ȟ3oJoG\W.㽭Ԅn12"`=tlM׭ 8p$[Ե ? HOL-Computational_AlgebraG o!'fŞHnV,N~O20 (hUbmDҮh뱏 ~(9NYgav,ȅ%ʈ}SD]a \YHxui&l](ĊI9vNM{4vԷV/Ȯ1`B1=h=g 0X8I.ҭuaL ;BE+0(9?I'[Fhn ǸOMVtl*ƙDVѶ.ĉ'Shѩv-ZYΊ&):ґ?EAr{^mx@v^8f+[b pbAނDw9G0'9:֍hڮH&rWN>uwiz[WDd_,U6ud~Ҧ7j-h!)E$\qydCW0{Ebj6*i1LhYAͼgU,۶n`T;%3G߄|3cmֵMOz:11۷ďhRAUQۂ_yu SR-/.3O  9Ƒ - VcKQ+'莺v(&*eޫXFAKܟթl3]u_po͠&'X)W)0ΖIȦ06ӂY6Ɯ}9#?S>C՝Qʠe4{HT7ԩfQ ކY !&_-swfy};f<&@ YـjgYZ7zXZִF! /~]ŗXiɟ1& OE]btNK_@}% ="zYx&Nd:nϔCl-ZX8Ur3JT*isŮEsxQ۪ͨ ߁[\paJQy`̲`xk3{ؙ"bm웩<39Ə`HVFcQcDݴHYqАGd.P5l(% |aEhx5%9?1]Hpz42v+rG&d`1;kΘ"eݟ+<O}T6'cʅUD dP(gYZ7zXZִF! Z ]ŗXi%6UsDVv90y - @ʅYk AEDDA!݀<{2"msy&y2.W{b6ȋY(ј(3-t (l`5Qd7Ml4ʵWuRiw#6dO/qKn(UN?oOL7)|ekKy&eLc@9Ǵչ.^S2o0No ee$3Q۷v_/4ڢ)ih.FH,:ˊHMeg;^UCZ,f? t'Yr1|9O_Y9&9ewoQ ?mn3xѵc:o+@FVdoz+ T_ѧq~q{輚KߛBJ5eDlv}*8/V\~gAFxα`-p*e"3@Spqsy!o7xUPVC+<8m6LbxM1<;1oF~2ZSq,{Ks%Hn.V47Gվkulc%wP EFN*ŤXGb:l`:׳ǰꟅ7B "^˻$6SWm0"N[&tvE 3Zh%ꐺ3"d 'Ek A._1]{d] ޜ_}Q ZLTqK\>A=?V3 ,{X6$n|+S0a!Z^[eSTG rC#oT+rC5N(ys"0< aڼSh2K]cmSo=K\_KFV[Kj2(@hF,b*$ N( gX1*ng6 h]}se ?0au{YÐы!ͽ*?g J^njߝe#YB*gĆ6 >D&71͘\o A)( ~,TN7Ve)Q-z1Ob퍞,z G% TScjKgdW'-2ZmD[bF(K(ˆF 8+ow֔{9lpwőB ^9&HKBlhU=Z Ҷ>2&W`|m$XgeʍO 4yuJӓM UA|6L/S^lo^ߦ5׵@yr&"G(&d:ǯއ%Qu$1c(RinQAEwoO=Qn.yl{Z [:b=iVCrOZ :: vVM)غrLFLdNJi9kʧcӶke~\ ;f-qI(Z#XLfY}?_濑bS׋ EBr < &iؓ=Q*۶}@`wBI=bIMq ֲx4'y, Ҍ;# +ACsSs32 G?~z T7QHgM*살w% kqpW q+u Q3ؖc2vfg1^c˓Jfr.\&]c5`*~ON~x^. 3./q|&-i5 g鶊%ZzrifKŐ܌Ș P&dr/9JOwZu+<(j42xVuUcQ@j0boųȸh綺s7"G,ad`M739ll9Ḇl6!!jzЅdB#r;