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 7$|l ]c]Algebraic_Numbers_Lib:threads=2elapsed=71.041cpu=129.548gc=6.340factor=1.827zXZִF! `]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& G7S FL8oMhȋ;_))eK_/)b7s`g̺f P$WՋS΢}AJP筙YrLX;)Z3j | Õ>PHb9t'sQnZJS[SzTa6ES /VNli_@JK/FΗ:W\ڬxDž$XT2۬;CHPΈi38Hs*jO q(1Eꥮz,. V/XB@^1N9,٬7B. 08;ZtH @)FOM"w0!ocrunE)r~RqT-; a"Q+]_E5k&{-(S-<Z⹱iد\|( $-;1sGǑ6q'⑬begN]ڣ] SP]E#= S[sv*lp|NZͯ*-BG~L 4lôAڏJr5d`rд{~7pGR S!C>KZ0u[$%ECGͣQ}?oFw;peB0y9JG ZkOkօ0d炊A[iN ۳3&>OnL7dĽΫ@zfw IYb8|fiy vA84RlÉ%A-`G`To%-Mt؛G̣RdbBgxd`T*g#%R%p [ ]WU }`~8b $CWj틥nRUMM,6QE+g}K/`'#ZKpp"mTZW-um.XтTVnqqVv }Zg\Aݻ@qR>@;ir7U&Z4Z=Xl@|Y^:J?n:)P/˼(AsYn`j+l-hnj @=xHizW#0iDz*/' 3D,^2ǦDk`$e49MpA@ٔ]nCMg̝ S|8AZ 7 Algebraic_Numbers_Lib ~՝ 5J u(h"&PP"q% iN7Er[.QeO$L3JR[6i@P0 1 ̐}JsN{6w)*i8~&(6ѻ݁rZ'<+9)s ߝ:~\ݽ;տ(0eVka(B)mkvxlJ Pt^8uS땊XUJcPCG=] Vi/ )6mk~3"jjq4XWelQtKW .Dk1k$<˂hjߊ_ gnV ToPDxE uך! ou}Ωh4n Z"%P;wTW- yfȨKTMixhNtQ6\ISEÏ*I׸,Wn{eW?+ ͵[ ~&cƟZQT&lNNs>'} uB Js7VoC.:8YN$KO\";HӾrŲ߆۷ A@xW׮՝|Bв=6r[ԞFs~ćFF7S撪&/2~8 MDn\wN8s9C,iF$By*jHQYŮC]3:;+rN30U|c*1O9 {:GH{TLf6=B1gJFO) ڮ|tXo7tO0j;:247ɀg6@Bf,Nc3K$G)y0!Wϴ\;M.&Ylfp޵@3Q'Լg7+RrziX0z`o\Fd8] PxU="CPV :}dWܶ̀;c]iyXaNw8)ם{}/c#缒Y^V_<ݽ/W^YjG?ԛx4P2&52&aFáj^WK{(PaV^`q:["耕}zYgH}H3@\ {mp>TH:*аR)hTk"QNVp@8- ~vMSLܘyhM'ILIzN{I4ǼJ0ed;U|Q۠{}&ۆ'k63H]lE2A0VvKTmXݧs,q9|:ԎK}#>!:K{/.xéA^{W>/2+(s5Oj/Ք{ᢏSs4ko'@깡)ku)M0X =#5W!)}tή 7Yx$B jD [Fﷂ08խX E]V}uzZNNf5_- Ѓ,GH\Z5U2$ =,9GuD$G`Zo 5I|M w3GқbS_u>'\'Q'.gu~jE/T؏7/'P{z@ܜ{f]!SvO_UZ=!xL ^ 2֮`~̲Ɲ?IXxx {Kzt>lqh}2GRyyĮUXsAi1+)쵪rEZTH>-hٚ݀uǭNeh+%#6ǵ#2td~5RCtaV wԻ/īeF[R撛.^gɇMhҴ*+J 7B ~,(sFd̺PSU=j0%銄pNZ+>=a#5G> lup[5P=) hʙ=X7+*^_6 ds)Ud(&ww>DVQ.[sjK '*Gy&̹`!:˸{Lr ktTxT deL's'3Zd1S44=">"d`rA%s'R/(,)suAf֚I jB@$ly)&2*A_ +%*'3&2*V`6OU)Q a_7كyE@]Lfgkzo`,R8,kǃf,g858 v~<8O}$(fF8Zpd!sͩ]Oz@jjo@aDSM UH].z3B%jcdՃrݣ8&% ~&@_/b%E$gYZ15daaa4d68fe42e2b6ddc48286114df88e58c20000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c d0f680a53915d416d3b26c69192daf67ea9ba224 793ed307385b4ca755155c1c41c6f9a7deeebb2e c4eb04635ff9369ad903bea182065bc6bbccf702 35cb4fc50a2bece1c25a28bab3d16d862bfede4f 88a71c1228df99782e83a369932165bbb581580c 9efebec4df183caf6bdd4f16456cd885d199e3f3 037dd2a83e2f48bb887897618c8ac4dca9902993 89ac12f771fe76d81ea4022198e66d8ba1b74463 822fd7d08b80ebb98d5f83915b0cde8bd1b09b881630a9fcfbe43f7dfe8a5d5dcd7005d7ae7f37ca