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 # 4, ! Shivers-CFA:threads=2elapsed=30.169cpu=58.296gc=2.500factor=1.937zXZִF! h5]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL(DӦXfOK(h 0Cz?s0#aXkS"?/oy >O?P# # Shivers-CFAv;dS6?{&UKo4M/0z? N1,ǼFG wj{$wFNF8V$0Ivz5,a>&wA}gć tt˽g^|s߿ί_ xZ ?YY}1@n \s|׷"IM9z4r%&(xpL09 h6i,#.bgR c6pXށ&s@'COa_$ⶄYM^qڂ* L|ђr w='Km0ߡʙ]'6P,!)P濗rEEWXb2u]etm?jpm;aTa҅9OTK YvU5A[݆TKkTH/W:aK58~(W󫗃!LY P]s^lxGꗡ= =6*He[Kh{ɩkj_yXv͕MsW3 ؼM-ãٟq UyOpaAG>V,,S;7EFM.tMFnX̞wH~^l$|> D%=ZJIwGލ&aJ Qd~+ ÅqƎ,C.!deA-+Gmjd-0d ,eQ}C;eSppsL8|R VJ0b}/M%$3 Vَ ~y4lK:GNPYޚ20lK0g2`SɆ]. j8uzk`q]xhE~&D6{`7KmU|NB'|._'Xih(6컜Cw6 mo4 ~&g7kZ.HcեފS`(`` Zxǡڑ y;<B$ 4ԲrT@RSra?0; !8jm{*$1ﴳխWI~Ih-U.sآ֯bRzg(~?f ك-Qj$R>9!I4&uY^`|/ RgJqӻgŷ?d=Vy@&јIH.kc/kB,o){D-'tPUvϰzo˾EUAM p9pz[)u7Š0,t<u518 (\TZy~*-Be]ͦ߀ӿL*U%"-;Q0 .U2hXIE}6@1@j'E]dEN+eO*W_B l26Ii&Gk %f<7@.Iej9>f[k^K5:ڲq}tD %FLfy@:ޞ59.P8$URnTR.B`b$iiHKۂ|j%OewgYZ7zXZִF! ]ŗXi% -ڑYxzZuNCrc)m؛'׮C6ZY[1KVH+E)Wn|\9q#z?"~:#^F&qd%v^L8~FTLN:Lm#ޞ1VsVWVX ! fjq<e@!3Ǘ m8x5Ep8uW֐J$޵VZjbwݗ62-kAه;2w҈0J:J!2oyIMNWPl__DθgvWQ[JPt9XnX?ct >N2wVK+'¥|0nmp`]0y6yf^;/Au8Xp鈉˝^ N:[ߓ9$l786Aw6D-K!nV v{=^0z~whKcBzSg]u^S 2[W9>IMCYw)T:˿|~Zxv`ZcEȼ?# ٲi'@-?`,̔weE7VI, 4MfeUdQ@$|]U=ϳXdrV-6̛%Y|!kkaԔX"]"uG_cd}0 '碅7v#Q:Ѽj{xH*QixXцNG!  VbU] F $5.!@E"A;֬ DxDQ pY}50l4󹭋ٗ32sj&혬ؤ@.z L'к~["g)-:Y_lNT[mX2I$eau/(~Ŧj7z~6o\;RmZ &ZeKP,~K3g9锊lڬSEYD6*ߕu7OQp@klOoiŪ ]@M0""+D)Ƅ9 ݈ }!5>"&ZyU~'d^>JI}΅[M>qG.j(J BXQ|_Viwr̄pmgcm+=Q͈؊v1F`xB&RXr5CK~^y2et5Pa;B#ϊ*[{ah`doRs 4zɔKA3Ex {GPЁ64e:b V\