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 & d$D ]/ Tutorial:threads=2elapsed=34.140cpu=64.896gc=9.116factor=1.907zXZִF! i]ŗXf1-"oވ? VòSE{ l› M;CXf4$.Q+ްeY(R}AeƊ3iaF>#hܢ^/Al_/33Y' ,S01ԧvtߪ>dTi-UjX''u& {ڮP?ߌ,1QE7oߙx;C#Y@E잆gLYs5b?~)bc=y "Yo[P-L~9][uKQd3}'V* !Ys*WRp>9,o`` PZP   Tutorial`EP[1BCRn2;b P:Zƀu \#:$vh3Sw<۩$tP ͣ Z@sB#7MC ZbNW>!fTU·lp>evgsHx#n9VsMgClzas'"gF(mZ3]zOOZ\vJH.خi>ycS$uš*KʓYJDͪ+MQW[υJCd{үw3~nQk%zi+CGٞi!&*zMD[L`D7Q@@zx MdWCinrH[*.y=y[;ʾ+KͬFPTEYހa%=С /N0D/L{W<2sES ڈ*ZjCI^yMBM5t%..gYZ7zXZִF! ; ]ŗXiɟrj#>׋DĩOTL}e4[VIGUhM \B޵EIp2O}ߔl yƞ\kZ "AVA~aamsDP0txdV>sajMqפnc@SͺQ=۫Z z"0}=˗׏S(ip$9x|O~SX*kL(PseeK_r RKJ˪(]vEfnyg!^*6OJ|3;#{'S΁QnwA\(W .pAN(7~暥#W5X;mۀ jLbHQkJ4p]mlqIECJ=fRe;2suZnLY,Dwosm*2Obj=Ix+e>eܯ7:~ 'nB_|TAʕ%۪@̲qNc Ə~?6Z}-|+%sj =O:ck̼}.ꢅfRi9eG)!Oʀ*3vq 1c)fN0+(=܊S5yn9xDgYZ7zXZִF! ]ŗXi%;@s^e$+"Q;E*Zt1uk%ܥ֠G;Gap+:YN $~Z|Wy'meTׂH%/*t*6.Sa(;濫"Pkz״^ZVh‹}HhERa-ϲ_ZvkSR 9EgaZg١%Ǟǚ>.~IFڛn ;c__J3b9<- ?f S*}Q{ kjq gS9qu\tZ0ȞZ ]bQ=,Js.M`3@ñT.nF'j-nx}G' J&ڂ8zg.( q:EЩ؀HSW#=\U0R5lr\Fpm뷏YxybRnc@ =bA3Լt x@YJ2]vm%R WܝVWetQF#56^uG mHj~ qpz, f[#+ 'b<>Rt 'Gy4fd}-ƞCu`Bٹ׽C# hϨq(Hc-dX *DT1l#jфgCNU[ jFm?>(cY5i- mvh123)bQd)ziծ s4pY(*VbEMJrKۣ|e7^%7'CFW’"V2s"5ΔzoI7/ Ёqc( ]7sϲ h-t J,/B QA%ԀV78:[ 0' k5m~e=2|Cu<ڟ p2KJ>.݇%~SPv` q/u=٪ST/|OumLfj|h4YJ4_<"Ɩ 0Bu]P닰̐q=^ඌ^ZZ4jcNն|1 0bn{7g s:G1jtc~Q_'^._>NHY3Ic'ZC6IZQRO7Q"r$,Im ޵nBiap-K;xT›ߤ_po?U1~h~t?e"qbq^2罹2>Fn](=!8 !6E ]h '͌B6;՘Ef0isr`mwKHT!|Sd/4