SQLite format 3@ .0:  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 G) < < ]/ Card_Multisets:threads=4elapsed=6.915cpu=18.944gc=0.604factor=2.747zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjue"9`J.z ndp[;ugYZ7zXZִF! ~]ŗXiɟ1˦rYsxgp9f閷V:A=NUrkK6 em F"`rf;0S}V-4bt"A}<4mͬ}gYZ7zXZִF! 7]ŗXi%B:gk<+~f97+MhrdP+ `N93C7Y`Z(SO{/N%,a_\H98R]Ouv𭙼HYXawX;^?`lK .>OgϽY47`Te%QM\Aqbي@8xk\֬XfV^Hvgjp߂o'ݗnuU&bf`Z#-\[Q(zj?q'p*mY?_Ti%5/̼~,<h_42 =%2K _@omט澘xD_Xu3ۨiL)ڮo0.P00Q_r#Mn*za|o:nG7cgԓ)(F'g,C671Nk՜lk4 oGb+ ' k|.h-wοW =v%/r!Z-ՊePF,%dp03[$",Gyyer ,Z#y(`;Dr(@~FT{ m[nGON]C*ةvwHr:'(s tRߠs)~`@fvM~? B[ks0,ӏxUXXIo(*}zJKH45ՒHk1U6o cQ'%h 7a&o~B+&%, od3gYZc2efe4544adf570cfbe7f9a6fb12f003b7f8c46013f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 ) Card_Multisets