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 99D TTD ]S Show:threads=2elapsed=21.526cpu=41.232gc=2.208factor=1.927zXZִF! $]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6[b8u{k)ک5MB?rh|^3Jj-f)͛\gn} _`N)$ ::jlLĮ>BΧ#s9X#US*.ڶ̴ R=Zre{ (~!ϫhn6.;Ar!zvqD,j&/p]=BeLD?$+$k~xd/늓OvKk2gVAW5 r[ҽ2v~J677o$/yFSdEh$kȾFزMiU'JC=yG(moVOjJhPwTN hz U((R)҅OXzX} Ra?n2H|)"6WmǨ6BIaQ(9]쬏ӫL<дc92e 7Cܵ.\0>q`Qx̜7+Tɹ+͛&B[ֵeO@%V}̱,(p/e;#(N\FCzu|&cjx? {7i#PW6?8UgYZ7zXZִF! Q]ŗXiɟޅ*-qb=(tqf%URt6:zV7u@ >wy1e^$Iƍ'jwzx*y9Pq/ܗjI%;d 70%n$n7Ѱ!r"TCzŋ!X]c]" ^}I$#+^a#u 6xAa)OBasKb_Jq,gYZ7zXZִF! i]ŗXi%6\I'\'`_ꔰ>MT(tڇS9)d(ikc Թf'7q齩ʵ0 #:'1.Yw ߢ;AD!ir|x`UiSu4廫!^gW( O뷸r!LA9e.Fuk Mk3@Z%D؂ VW"RFttl+}aǼB;B^gթbz]훵}^m sg> ONpGQ[\4nښ>eN00N>Mt#w-^ljvC Yh'#73zjߤ[(dM :hns!b&AhعE%.,ѩ8M+§;|(cnVw}ۥO`F8Z8'@F?I3Am LZEJ@^Z C(]G'i~סBUv?AT0g:Oo@j&Dp"mŬVN6wk8٦MJY~VsD>L (˓D'ȧ&I=j|6|u2a5cH=fׁpN`z/ EZ?+x'\l I H\ut-Nx# uM[ɏ XO)V5 w1P:Z ˛{ے)ԧ;i2y[^a4gX)Pn!O~ZKqz?$ LHJ=Z?P ݅yfd,z*8$,y !-l{e%1zH[$\:&T{&qElxKW^qhGIaDǐZYb^$?т~k.]"1'H̢ KmG%LJGi%qYj|8$ -(Ph_NJlz (Gȅ#~EYƇLtgq[`^+-f.QD1FJGM=p-exH0M_ A3tox:6rmvK+JQ eUR0;/ uˎ> a_'P`͘=E-_Ι+mPZl eK["gFNͅ(:3WnA<6;?Rlp.ƢXdhTFǵR%DCgH uC"PgYZ67b32f4a1f5becccf6a98252ea23598a801617ede70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f fee0da4b04dd064ac6c3a28116b836a3f20dc939  Show