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 @@5$D ?S Show:threads=2elapsed=4.029cpu=6.016gc=0.208factor=1.497zXZִF! I]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF@k"+f=$QA$f%BLs)!=[yq]\pJOΈ5//ਐ,$[,{&؏ZH`:9AEh6B!+l(iwT]uҬGloF@VfМb+3حґ-D@ _<%A .bٵ=lÄouf5cO58;!C6mK`܁ 2.6&3w͍T$f{ƀ"#گ h:בv{m(i*À$.$za_^ǵ,9pq?aWӎP ufRBSK3+}ZT m+oǢh _V,VM,04_g)S4ʷUX'^e˥(26Dqi@>kJ_g C Y!R {eeN)gՒ9m4o 3 P; TK{q%RgYZ7zXZִF! Z]ŗXi%:4j= LXTV7tAL) &O|i79i<%+蒞afL&vQWvb|,R(ܗE^ 6%U)<[ go z5[PpA#Xg.EtɁ.mH`  Showǩxj&N9T|П˴VaywBTƼDKvPi!i}: XmOoW`'C5,X]B[w\ш3G`9fՔ g.m+@EӋ*^~eע|U2@~z;m﹘q>#-uY:@0X%qp1yj@ub:o),HFv&f*-ʛ><) dбz0Zmvlq!iŠp(^(3|>Y @R}J\5jM+>LRgC@c:Y7(l@ Ρ{vJ@4_U*P_I\Cz.x&=1agΣ*11jI:>7/gYZ071663430d0a64ab8a65ee1eb860d8b5b5ad9596 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac a6266b8092d8a1fa05d6db930011310d770d4e7d cf0eb34815c10b600e671c786585de3d3713e6fc878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 38d8b135dda19b81cd3432df4e552d2889647d81