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 gQ l m/ CryptoBasedCompositionalProperties:threads=2elapsed=14.406cpu=23.664gc=0.704factor=1.647zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!">$ ɷ{30H6eږ:8LUe* N#6v Z+ ?'bmI?$j7^A'U%POWp؜M_p*v8>(L'}U\Dv<5[۰-VمutCv勩[@͇;% x_Dq)N8kGS)8nS7[|e'tŠV{VoEȖwsIYu'B?r`aW%tmm#QuFɌ#^;07~HD1}dr+~[:MsI\0S[[Mf?Yd!BqM33xGΣpZG'i2r, UlOh5߅۩GHiVBR]@Raar(cF(8 <jT\۠HNC - 4gfAA`Ru+ }RKX2Y,-S`lzQTsfJS_U\ eECTvu`ddyjw m+Mt񷳒H4k|罃7"hB@-bMq=?(iޅG&^B,[%[8y`U=Kdê^;-(+6Fq5&-s7{B (`&10#4^̻I$ax bI>,ObN^MCQY)49ãs9TXoVn1{6Oϭ`>b)[Go`#f#5τEuM[p4oJt pc:={8uOXtP?n4<4S@=ZNp4 E*gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 %Q CryptoBasedCompositionalProperties