SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 {) \  ]/ Card_Multisets:threads=4elapsed=8.340cpu=21.640gc=0.708factor=2.597zXZִF! K]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GYђ󟻀h~(L堽.pk"~q12$c՝iQ~onga:5 zШ_$:PĉA`FKs+[:2lqod ;H~D,Jd*׆3d~B vw$8 ٱǶ9Ҭ;Be9ٻmo#mDFgnǦ!Ͼ9bzV`P*dd.;ECՁt?JaplnvOg3]/')'.5OՀZ an`849ϋ5"e/"҆j/z0̙2@-+V]^꛴ۉV+хNM/Co{ r+1^DqϜ+" nG7RVOi ϋy fHXk ,` vPX$f) X2>\"EL(rs,0%J!hE)5k :L4ߊJq/[xہpUP 6Exn/1^d:X`> a' %WgIYW:;ت]Khk+`LܸJ:7is'Q.nPL_{x6P KNVՋ5‚8Ya-XD:T4Z ?i^4a+Z.( Dy\Ojd`F}?.cP" niW' &0/@X`"e}?Q LC\IʯymD4sxjoq_6F0,_<Pdeh<^(-OMƅ0+G q6 ||i 4sU >-E8Tx;LhBʸH]WCS*ļG-Tjgn!L*Fze _t^aH[0p+TH|*IULxBѓaxo(Z΀ZSr)@idWF; Y;P) TR̓[4}J'*iM~89|iYx@rEkwLBbI!]87ҍ`qךּu767] \ .>qHora`hO$=OLXz'dkZ\fv:ړ?B6wu\ QH[;D'CV]!(hs˘κ'־M,O#TAFp*&*~\.U ~$]QY<5zN 10hho@a:{e9 '?8`nC2;tBy5uUnvYS{X׺ܦ>aa$\D&8m5t.2ȣ71tZ#wc[쑡< m'J!TAdq?96? EܱgYZ0d7ba21ad5f0efe9f0eb039f6ad2cb3576977c7fd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 ) Card_Multisets