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 JS $t / Noninterference_Inductive_Unwinding:threads=2elapsed=15.389cpu=20.116gc=1.044factor=1.317zXZִF! ]ŗXf1-/6vR[y(&j-:6(Wtz+4;b$}'/w=B8O/`t,t` +m; V"iU:xڔR#m=-V+L&&>uyDٻE^!,k퓎Lrf*o$3噀.); z+zD[Z2ICavkča1wzͰ8&44(On=(30_S[(K;1LikU(`Zulí%;d >1㡩366-NەL_dqRo>4ʌ"ej>f GѬS4'c1&.sal^Ҝ4g 2*-dpmƑeUGM_o}8 ٠blw(3.y9å`s -7 _*DMB14,$g팾'M|܌ș ۢ-r4 ^뽙@MnW'Kۃawg21((T#c][s@>R \x!h 'ɲi`vẂ*O&媅5ۊVuArлn"򫴹C}XDh#X3d%FXݭ'"W:oVOJCFU ] C) X؜A8#yI᢮в֖"tpRi+!W::  ^!X\DoaL7C(*qOJ-fZ+Ncʟ|h2Sfą `j.Qgp]):>N+H@қR8W /09A^i ڂg#a;ð]w3 ۚvmד"5|jKى)i=*W?Uh1`, ])=.!G^"B֔w'(}#gB8>H$Pdv=7}!.E c4QV..vܥg`bmJWAI5*kg@[Jb`A4yϪ3IuFf!LD=֗(2݁7Ʈnͮ`@oOxZvC= Aggm p5l}7*)Q2BٖQZd]Ǽeogk#-h1KQOWX`Y딟V>^VaBϭIs^7n%?xܿNIw=",1߉٣ghi<Ǒ2`1N;wEK[~VM=fLF]b "L4.A\+&:mv}']G@A 'OڐA(ăur){N&Rdq^':~Zˏ+wk_ns{.*[\el 3[ egYZ7zXZִF! Y0]ŗXi%Hfq" 9-_V vu<55u>' 0˟Y(.>(R%.7n"KqN7iV&IK1V_;|gИdvC3iPinW- HQD+sJjuwDXYx =g̤A]N7n1nB{MP(GT+[+<'[Y'Fپ:0c#xWJI&xЛ46e&r >!P{~ YTv ^^J4ŋ,5ͺ*wo.3czn,ԉ@^bkz]Vv61)?̦!t;lG+=Åd _&vr+=xk&`ɗ~jQ ]4X sev[w2RlZr~$I!Iv/8Lڨ |"Z>]E(0}:Gf,]5i?5khlλ٠UR }`ŭ=<ǧP䡱d??ŠrMuRc#v+āBY@Ap^h fjhC9^mDz)Adoewg蜓F~JK Ƣ(8`?k[r :) Zvr#Yߢ63TeLt@my)粑ཾVCڣ/ƈR>JD0ʅC'r"VY(!t YěLJW"lRE酞A$/x+]Gx͝˓P(*qPaW