SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 3 T\d ] HyperCTL:threads=2elapsed=15.373cpu=27.760gc=1.684factor=1.817zXZִF! _]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]w;GGmSX0U @zp@rW0l֯Vn"X17'3'cqgxO~q~MI&LDG51SmU{֜m%0=MQP/,Fȣ+n:?/@ x#Dٌ0-1esf CBFkdH4zpI1Ob'aKyoNmkD!'t@SE/UbKO4la6%" 0yqz O쌄8a=MSq"{Y} (ODo8{S= a;sS2X> ڳIӲ +D23b{R:1 I[gYZ7zXZִF! ]ŗXiɟF@Am|{'h1DWEo '6 9Ezs $(mGµni)Lu &_Tt@#D֒nҊ$4*Wfh*}ɩ)5'mM1Y2#`dIfզR}>nVrHz(gYZ7zXZִF! T]ŗXi%;*Ҹ9,P8cP0d0F5T#Kyb#unb=~`қVNLmj 'x>8а3 RRB<(0ac`냼3Ec8q@*2= Jh$#Rh{m(֌6ߝ< "ܑsL ԖVKGPa6cy A Of<;Cl8̚I/T_ cezZK_oBKЉ }4:PVpxh}DH wVേʕE`NrA6飮ox |̔;;f-,>3c!jKrM_\] "o=讛&>i>UB[;fYJFsV Wx ylg,}lߐxf"YX_b7q*DG ۤ,gCzDXi'{CC8qLΒ^;Rxk%N=,-JH)Ϡ+]Ϩ(?vS-ZHJ_Pщb9ʫE\LUf*Cf5"0;*R)2 IVWg`M jѩ_ǢC~;F̸0 #V9Ͷ{j0,N\Gҝ|X!0/2z<aE>6˛ImlYy'y2'q&Sm,UDG5t?:yEK i!eQ/kg7ǶG;"$bsnXC- KNנt)`>LpfȂ#'' T\!,ɚ-pیLqȏf~oPs ɗ ɩ>NgYZc26d03afbc252fecf6ff0d472af4b76ab0957df92f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 6dd7123fa75097b18d3135622d27b8f5daf5537c   HyperCTL