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 >>?+ \  ]S]Sturm_Sequences:threads=2elapsed=39.644cpu=75.816gc=1.704factor=1.917zXZִF! h]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱ坓|E_fIƑH|D-w-iT@t~Iz=cJĪB|2Vo3v*^3p;j#Ц.@4Kr<%6FXfHq}|' <A6ѾA:X? mJĽr$n:ŗ]P||Vb+8)aȜ~hsB*fy]u%ySx Eu: s9P$n|-REoE"Sdz;Wsu L块ʩػ^ys%vlma|8Zv䓌-L ׀%e/QTWTiӧ٩ )ϭeŔ=!Qz*I( n$%{"ӂ׼\quv~d+uKrh=ԥXIi,iD?h#)+);ɚ1q1Z~`Lx!wU*`G˖vmrckSSj% zemaA¢/Ov䅃i5;85 x~T1XR3%}a 3}`%(RpIkۛ l3!L'vniLWeBO-2ڱT:U/R?ZY C  ZFlr!= W5@:)O8D/AD#ormc ATb`ߑ$9 9zޙHv9 T ad52i/@vyvICHVܳ_1$']i ?('@ׯp#ݩ꺇D%!m&i~Eӵq$7,Tb/mҀtky~y@F\T1,2>0ШIM<ۛEU\Bf%1CHN^JM%$!`DOor)쯦/g ?C;EDΘ*"IԄۤ]mЉoje(7o Ce]hI#3rvǀqHp㊃8ukQ߻f~w#y*DD~v卢>ZL*ax v1}X"mR{QouIIKi PH8ND-5͡"548|V; UCnX~w>rT4f+ЛIפhZt尬LfCp?c'wP wW+ K8 A6Q橌i M^xcO!kYP!vWo&fIVj}GOPM" A6ćfN`J"unBykZKxYo ۰y#em ŖJd2a`7 IH4`84:SzG傩;#,pt5#Ld@%WxFK8W e7Tʽb/HaxW@bT ?5-C4_Zt>;^RM5A{vE"DIKT(J!7 P%ej v{mcڜtR.8c )b7ij(EL-"+,] Mc4dոP(9/+_\\|"dn&'h`lqƕ̢-9?:j*P2O*hKM[Xj0>$ 4\ #H}j f.W"?fSS.zH?߷ 1 tW %":F0Pxip>J Co~V^UM'v<|Fr༺8Ib혷njP\g Ѣ5Rv !PD4A%26Fn}‰_m9w" Mi| գ<\2wX/> * P\ƃ> ˟fBcX6yd iWDGL!