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 81 d4 %S]Nat-Interval-Logic:threads=2elapsed=51.144cpu=68.912gc=1.520factor=1.357zXZִF! |j]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߁"*{E@?&ZMv` :3#\k4F?cPowyjG䁅R.Y6+_2e#y'!DF;5P$vKCQUn;K:IO 1 Nat-Interval-LogicPc ̈RjvXؽ}?lZ[nHy= QVlQA1a`uvZq34{}cW3] =P?Q=O+ew҂n$=PlK`4 aGTdČx`!XQmA.ApէpV 쀘Gߨ{J?E3X bh i1>.R7] $%W&kL$g- GS Y.gٲ;/]boJiѦaU~Ue/wi.7,dnV?HH*EAad0w' ݦbK#a\F)&M-;6QF4D$4P]6a@Ȭ D9y`aeKܼ=A* 8M3, 5Q'_ (Y+3XaY6ޟs^}}_C]M}9Ѹ ޜL-w5zݎ:Qc䶣eN4kѭ,O =NT{]4_=CɅ‚P `CM WVLï:K@p:nF`Nă;Kdhg ]+Oc<+&! .>rlC"-KoNf;c"(t:mB 2oCx. P&?TB $A~ v*zihqB F,P2Gt,gOwȣ2*0.gBN8M8FbRzo0M{^`;17uoŠjZf+^Y>1Y~H<^̆%q )9+ :kF)S1-|^CesOI •Wt B`0D̹~WJ5j?}L_F8W썂y8DѽmٔJx^F$3F>uƍXF FXH<1}*1N=!33FAS{-U20`"wX3E^>$ Ԟ즥*b,-$! U-k9,-ŒBz eַJEUz?\_lAq"zW]Aw;Jt>bj9 M.|b֦3:@BFМ;4̸~J lD<]kMƼ7zS\ $@CJ)*RJSw@iM=>ap}?ޙ-nkg[]jEmcЏ QvK-7JU '|5¹v٪ڶP\X=rz[TLdpXgJx$+mlH[>[?5S ~բqM !rr2^b:͖nsƥ!msBm`X;P5eWě .LBS|%w&.Xw,GVբ^2{L8ҾA%hQC؄:vQZB yV{viŭPVnP{D~U~JNz̡o@@vݸ%L);/973:Hp TTIĦ! wlSdY߲,Zфh֔qe(5X$)N@tL!$ [3 z,7ۛ"tAeWA0BG)"QRmgnӤg2u֣D]گ_*>O=4˽T}iboEu-:w<:Ls[o`bo~9gèA#)'<˿PgQvv?$ywώY DZ1ni}cѥhp$^tm8lRBWۚ/YWM^%+@+Fac-rnwҪ:t&˲-_¸ ֯ڥb}ɦzF%Ly{o ;ѥKZ j=JM-oX$sUBqd"͗;EFa"+b 1⺹t <_ӂҏC=vZ/4Z"Qi]iFTX>Viq$ɿD2 @w%Hg+&kNyY)K&]H*0ɨ50MJ>"]&P9ӼNqpT{F"$6* sKǻ&!M0 Ӟ>6D*ٵP;NCP$Et9iؤƦ, ڡ+ RGʥ{$Rr| "r;O  u &oA(xm/zA 3o/,ӭŠߟm=֎%z&kwS}6^dpʚ2xZh{ 󴤠~>N\<\kڒupkm}1{G =>*+ BRh QOeG{ F+_<78F.Nkېŵsi'gmЗA [%?s3"+v˥ب}3xHDU$(鈣·%WsmCY`Wf1J؁w}9kGʼ|րA?ϝ54?6|gmb۱a#Vq9tD&lpiOy`.y֯޺3(YoW/2gxQ@]`2ql0*d=I``j=KhvM>g?jvvMZ Ě~Sa};)/)Aيxփ8oT('RgV!N>[jvfQ8+[vWStAdqgC@))!}&3p0i3t^'a&+r?-3X1&[@=E6t]A;x4o,9 !N W{y1xCdcx6A17D%j>O =/>$C+9.ѮY&z_iǽxwupBXXg9zw ܇'TLܓ&vUUD$DKyK"*]v&H<MH}c9NBrK DBuVo% Nx64bHΣ7#| ܰ`&dkM^$WcESZ?$弞dNT3g}K$vWXAUx#>KKF?BzGX]Q_J(7bIKQ{ρ"8$xqʧ-};l,TeʀƜFn$l@2brO(xR[_5ι9BFǔ]iY}#tr$=3LJ&̤R as9NRkպnFB>7ۣ[ qKR ff_Gi&{3jW qNVSb]ݑ~EF bR. :8I #bU* vKzuiBY<}e@ apcXuI܍D ZB4oA'dtRlddidݪhW_vF Q*1c@>ks<9˃#efqi'p6qk( bARs禕3)^;OzYnR~6)IJ۱gYZ7zXZִF!  S]ŗXi%HuޔT Er0EB^pV{7ż%g\G BR@y!'hfٽ 3&yGKblACK7U6L&<'.đ:(ܞ*$ʑlwEk12Őw7C]sm; ~Oѵа$p3‚Ijh=ɹ 雸]iS.y׺E`e8ll:=IQy"rAi$$_Y1еgi0@l gRhhϗTQةH+_Mgwe(CgbK* DNh!˜Kh槊xE]v]aMdTěQKAY|5|\Az˂AZ$)XZ)ѽk+_[5b4U'`3V`54Jk#2|>q#iYpй%mٸEr +7Z2Z [>mdk:8A mݧɜV`vjr]2tKviO_Fllz&ĂO]*/^˜CNbDCbm&PdȆ};mK,BM֞'M W! i*N@8et0&G,/Mj@}Sn / 8NLuPzCuю0RR{2=Q1 ъ5$or 努$kE w)Tr^8 ddQZ?Emq[zh.Ujgw_ϧQȆsHp/w/|k7Q~LxQVݽϭY߉m#bҭ|`+'GBD$74ol$A ͟u+O+wYfԖdK͕Ijd5ؕ<Я -@cvC4Sj$8dr"̴b$ Koz D%ie+C,ֆI=Y'DŅ<-1mp\iXMTMe1\៏ +mp;nA7B ?{{}Y9jؾW>Ld[j4+ D 7Pj}El#"o\Q|bgYZ01ab61f64fd5c45a27800acce6b9886e23c498cc 2610bcdcc5de299bcea6d2641080489c64dae616 45ae6f75f5ed99d198dd6591210f767f7f7816aa 5960a95f95a9bb6d8ced45988fccb935e84b0894 f82b4b01dd76df97e79e913d48310d9d32ffee348c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a cad272fcccf5e35ef79fba9c94f8f50e4d93c65037f436e6f5821451bec16816c5f445a443c9d12b