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 ) Ll ?/ HOL-Statespace:threads=2elapsed=19.437cpu=22.348gc=0.812factor=1.157zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~ㅇsGi)m?@hMX7N??Bz¿ @:À kߣncLx ƍbm_.^k9e}:BjfH@u8h& ) نva_>ck/"%Q$8x,6Id6JEl\!',~6:Wͅ$u蔫aAvNM*\T}SS&_,!+7Yid$D4r Ng*ft JU^c<[E*¡soбJ橥(LO(U& ) HOL-StatespaceJ bh\$i-J2qNE"L]! ҰB$*kCUQ^j/rĖ9\n f0ИMP=3-"eOk JXp%T!gYZ7zXZִF! d0]ŗXi%BO8Xwez-_JPk0I>Ó8~%aOO=uȐy`xiNYāgho;' zWŽUw&^dY.JdG2()$4]_^݇xZN |Q m}6&ZW3$Tt8kHp-?5ehKJ"Àg~Xe&ύTBUOY'HyL5ꉪ x9x&eA|IaL7YDeUfsuy2ІbgJO{yyI-`Wǁ;Zs._Ax1ri nKab!SXӦhB+.1If%p{v_r dC ǚ^^eU*?}-9>Gڐ  ; >8љ~& TGzqro-q)Nz;ݖOG=PI6O cv4|aψyԕT_𩾁 Qjב5.l bnE_:g%VP ]<ch/:N^ Yww&',٥X|E[Q)o/D4}U`n3^=̗5FlzZ4. ?f'ܷ~TͱD5#+gs5F/BUneDb*,/K(:.ak=jCVHAԼ~҂ XD7ga.x$G>X.XRQe|AU^=HCx;ͰʔAb eXDPo'\ەR~|!J-r>{dKIM3 v[!էe$~ђ%\~!B}Yr4q# q,3gmu71|!YJd4W;yTŒ.v$(e$;d(9t^JA7_DQ^ gl\{ub[$&;M/a'#5A h`7A%9FvqlR4d$ʹa!;cR5CV2xnA^-Kt[xJXce}#A3뛺swH1<|CPA]hlQe'N->|#YBdGY~@$W Mvfn8dF NES  gYZ1a10cc298df6d2efd8c06d5527c768032d6fcc75 26e40afdb7e834e0eba44f1c492aa43d0dd63676 2c3bc6cbc40c0bbdd7aaa457a86aa2940c328c66 7972d027a01fabfa9c0b761a2151e7cc5350bee7 8761d72ecfb625a03c9ce014dffd9817238a9ecc a9dc8d6e38d2b4976a96c8ed8dc062bfc06f0721 c811f9e5f506b1b89dce4b8953c1938cc733a6b1 d43bbab3003daa10143df8d9e0c131b7e00b707d ec22b1b58b534dfabf8283dd0e71096382271804 ede24b52ae24c8ae2ad5bff52702f9d05f71d8701d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b