SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  <# ,T, ]%]UTP-Toolkit:threads=4elapsed=25.169cpu=92.228gc=2.472factor=3.667zXZִF! * ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I]tp\V@%Ǿ**dKJqػji/~Rzhg\(I_!aCW0JvOT 'nxPiiHUPZ>7+k&6k3}fy:k6٩`AUmB6x]qLQS\cO b]-&IJ.c"ً|tBGZeIo@E+dVϖLnyOeD}xR3xv!tؤ c/ӍC)!xN/ԓ_20gZ}͈[ )9S\mY{(D퍀tQttNͬD)JjH!|ج~.H],h6rO\ԣbӑo網'ɯLYF'&w cO]AƤr%Cn90Pz(RULJ4:\> k73w%>UO]CRQ`Peж> # UTP-Toolkit  hO)$S/~ְr`r6u w1 5]s7,(@"KH-eȇ濔Q} "(:3W‘gTS8`}Y u2ǵ .&J%6y~wm伭?%@U9{oQֱR\f%vԥ0{,ϧE8 `b?u(R[:iU ܙ@(.'t衿+5vZ?%L"=poARdӳaCaa hCCt! gKo%Ew_` (L SFR.gL6>Ax= .zݩnקWU;47D)\ߎӎy!z"Uc\~%S'vpÄǖ Eծq}ߏji nj9GqItS"ҐȣLǛnq-|c٢=$i0)0XOl(>' UiCgYZ7zXZִF! ]ŗXiɟ.z+ j5P5.}Hf1 f/x$w!  h9PCҾL,So@M]utz厴!'VXcշ 3Q% [b[.9fm@1;>UlUI&OEČ&63N)?4܃f#o_Q S g @(+{E]T,oZ,4r $ IjD ubڟAm1Z}ǔC!z]Nr|h+uXG5C(R,5̛~ I3jvLw7&Bڱ{\[Ni}Ƭ"zpH߈^OTUfGtC̟NKvZA+ۑų\bkHF>:`n]ʫ@QMߔu嶝>@TK>3pa`}l! l#5T"XY~U&W6/fCa?:l`tyyH]Q0A=vwjx)~x#R"6^ [qS1P k+ge5/`׍t܄-j7Ad'-2dBa!8!>6n/m*tdMCVzPj&d]"?_*ye  ~gIH@a-~Fג`: أC)gt[x@+By߃%IE92'3te̘>X?R-zIҲc aڊBwGma%6=aPemwMt_mH5% Ser–ƾB0 19"d7ZB(61cw'Tg#b N45\M$bH1Ba ENc r9섛 -4]]\EP iޮȔF☴Sǚvj-eG;9&R,1aT#RgSC`y>\p5[! Đ-gE0P~cf^dy*'d[ on m:%ƙ!¿*75ǡ -ƒ @fz𤳿tGEJqxފj0wM7qix&n=?j쮳nzFG a[S2CZDCS)6.<ҠNݣuzދqR% 64 e:2TI{cSkM:ݘcZs\bو+y**y!G㢖:Ř2`&sF"ѓLЖ`,O;Д͡ ??fՙV=k΢Y" 9U'-/}W QuGJ9^tdaފjמT`[4uʙ*W9;#UB,A+9ЕO$la_:>37n}mQQvƓLŇ}H^hc$2@YT3䧏 Yd| 76g.tMij2a;^SۘKK:U#ŐVZLb#gOפݥ"@HPs_k#^U󰉍QYWgM"y ]R;gbnP+γ$GHiܞ$n♄EcPQ+k>y!Vs4 YW#+@0^}M7^X.кH“Ks fBSJ:$hŗq((׎i-Q촃)Rn-CUW7U/Z1ӇXnMlmTnLH'k^!A.wQncRwūvQJ ΢jI;Fx\vQF6o {޿pPyU>UImGy>{&D&pVϽs?ԯ+Z<(5Tc%oㆷ:,0%#%WgXB)RsɁQZ PgYZ3f6e37fa3725cbd1619fc420dea69b591ee008ac87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f 6b45435a4a9028e161e5771441af571344cc1f87953efc94b933d1b2af68876c397037040c471593