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  E E0-l +% Tarskis_Geometry:threads=2elapsed=60.501cpu=101.968gc=3.608factor=1.697zXZִF! ';A]ŗXf1-q恈\T,rBV$--O:1XlҿuzVOHRS)QCtcPiGW!W]>Јivy۶ -p@Z|wFKJ):#| mx7o}J*",'2aXxhƎ0-QqE!0vS R`ֳ!6^&Wx3@2w$TBU# )ӰJF-23NJ@=aV \<F[Y=vrviWOnbU$bn0dO*8O,Ŀy@ޙϠ=}ZC3.Wph'9l=TX~9}TtpYF(Aʴ{& UHϘsG9 FqAnoOM= *rO+_o@l(ҵS"hj`s} ;5 D&ljyQ~ >3<6y:f-=b@#hO9{m`rTZh-6X8/Si,dIQv] kc-)f@)4\ 9O+-"E,dW$jj6e-KfϾKY=>FPwpժp But:Eܮ y4kܓtmZ>$[3 ҺӲZvQT19yP߼{/?%Kh 3` .%=x6ܒ۵qiqPF վ/AKxW0c '7QmnBـww?1+fuAkzNi^P[;} OυR(ʾ+)dTC`Y`K1@8W'sOVLg8JB'ݛp,QorBmZ)AE㤊I˃aHQ*/U  ȵem Prk*,L{}NI!:,ǐN%pgYZ7zXZִF! 2/]ŗXi%6_65qZƭbk%'bjWyղ NguccUQL9`k͂&o'ۯ4Ú7HP#iYx>񃻊k3DuOskZ|^{[JЁZ WCJDڷx>PT>WVt _tdZ; *}9JHǖ؆Y."###b%De>N 4<}@!E:* F.7Wf΢rX"7|B^EuߛGr*):!IUMSy /UާxnS!0c͈5%&zʄ$MhƂTRFP^Psv<*$ŒSOZd45;)Tpsze{㝎D~dq &̠{TJz[_)~1fA]=ϭWwAvLշ1ТQi T\@_hEA=lj۝v;;{pvfIž)=qͱ腫 T;aZ}Ȅ8~D 4Z#/KAn lYVB=-hg|lτl[,: -˩nN:E=3aeI8a6Fzg{^ |݌sm`{Y.[Iۦmhrv x$Fhh%_B2jҚ7[$V!ì,z[nL&gF :;^5m+ls5(? m4e5xk"`EtH纊h5$.u*Մh6+ZYi!Oh(Kʍ \/fRd+h*vFl=v"@{u5G*+9Up2=t͈@ \nmqxq==0"ˏ br#]XUSꐛIqq7R=aٹW]>3Q˭ɢF罕\4n9 v!__?3He9[pQ,՜0O6}ltg14a\7$tWx qR `F%o%fUfyY ?dC@F ly zʑX1O[dY P]f#f=iwtڅ`lLeʳ,lYX  NcuO]R{cMZO^Vu̷(A`g OT.1 V| BcWl.9׏l.6"/UȻBߕԐPqSO%Us6L+=1H`B}v {P|Rnͺ)&[d Hzu̯D3.!a.V/*(Bi]_RB"ŋ9nW?M5NCˆ-вëe9-Ze/rQk84V=9=}C(EW7N3Q[,VuDҧIvįkn5W)@1Lq;<~bCWM?+h[.%( 1]1{=&`UD۲A+~ V'QSr9?PϠT`jRe,u&ZU3!2 :<&DSGq ^cȱ~k`@ُs" `<")2H0vx@K$npaٷ"H9\LJ%5n_SÊP|K *%ϲHv N!C+qe'}Л$vIAB/~XHos+] 4TҠ2@^F?0 04Veq𼨞[XioǶ ߄geeF y9 $ uI|]]_ ~~[{A\sWqeȤnS=|g`/ OŀsqۼuV &dk#QiDMXg 7Ϙl^1jZ3={&Y))(FVgӯzB 4& B"pYY^k 0ZMU*+-ʜg5/= J4a+o)sxx%Vt~343>xcH/HX<-|BSV}"Yt/ͽ얀@R_=9C磌TH`x)h冸ae%qWq_({7f(:L]nIvH{(&ܻA@+<0Zu n$L+v2O}ȪU _|J|hƥ]oIm:!3S(wn o)xOgsZ_L""ϟMkoh)LW.3s֡RB@a4QcWH:,/sl:iF& Vf 5H5R'CCnb8`}ԡsgYZ0488a1cd4c9d8c0d3e10a002b36d70a825ddab4e 04937edaac57e854adb72819c9a09bf4c37c6f13 0c02ceead20f10236d7275425ef59dfbc5021710 1c26058200be62e77f8b7debc826ab3e10c213c7 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 3c497bd4bf20d8302e6d5a7fc35a44dca8b086e1 422c5cb07b88b52f2b335ef98f379f3465f4e2f9 78079b6c805421cdcc43e733354f56c023eeae19 7baf96c0c640e6682eeb8f6944a1d84d058f66c4 8aefc9b67109956542535e583bb6b75d0af7dac3 b6ca7e09ffab46bedb7019ec66c79805ed77ebe7 cac410becdcea96121c0576ab7dfb43bd84ebb3f d56eacc54da8449ad8db146cd8f834192ab0a93e daeeea544ab2121c1c2028828ec0635f3e0ef67d eb1ed4fc9a4686fdae67d5286c2670bcb444d951 ffc84c1be563c401109cd08cba36147d94a4a62cb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904