SQLite format 3@ .  YYQ77Atableisabelle_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, "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 9t S% Triangle:threads=2elapsed=5.121cpu=7.064gc=0.120factor=1.387zXZִF! 3]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHB[HBhg ZsϟHptuK5WTW|+Fuxb0ZqsB뻑cu s OؑzF`8D!. k1G/{SY=fCY[K8cE 0g&l;_(Kb9M(y"z'fF6 %ݷTRՄ`MW,vNm•B5qRl3aU`8F2=*,K޷2#o&;@- N]ˢK:p7lMI\ ٮQo~zuSFF\uG v|Idڟ9@Ju|7>}?L1&2ﲿ0RcL8^]5F)a/@Yb" "š#5."R04c/|وq/ 6656K&9Ei6,?gYZ7zXZִF! "]ŗXi%n8 mH Q Ҫg{}( 2lv>z*6rsuܜk1Gё*71zOZi1ceoE씗نR1Ra3-:'}uF¾Q<A{ְힴ?!F kXYKBY -wFr 'r<5Lۏ6eVuyJ4E|f7X@IT ϔN9.n%q"2>F#M N1_홒Z"?/.yZhÚ# hvF\z` JS4*mF9@`1-pP;`f⌥\ï^)c)m6'FtR78W֊ؔQC61 njpy=xB5c~9I-p,k9B&mk xc g ye 1h" (m$y.\ lp(ȇoW,q GX:8k\{w4 )wn#P9X%Urį^]&"ombgBJfpV<ʋIPiRddx@>#TYQRm-B~9φ"M|`EgYZ4cd618489b8bbc14bf88f1c4570adf6f7f31f68a 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe c8c0d0f53f45831b0b38684c9c05a79c669745b4c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 5f6583c2c32c714f12d333504c279338fee25e55   Triangle