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 ' 4<\ ] HOL-Cardinals:threads=2elapsed=20.805cpu=38.448gc=1.600factor=1.857zXZִF! $Q]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(MG(;aDS,M5R8 셍ucD^ƮdJ_IõaGv$7:6A,=gf#L4Gʀ&4AjmtlՍ]}uŖM1h t 0]CӪ꣓ʰ\5c"ДW yLyہϸʟ3̲$^K؂sN]u8ߝ:5'6MiBV1޹>ЙZL{(RK94vȳ Ղ|u#Q#@PH( ~>óP!| kK[%) M';}YUN)ڋ=a+xs$ԃN*O|=ga\'4R!JBNLX0ˊ` AWZ&$zڱgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z {c~:8xTq.C@(BbI'n}LO%2 ]bд E>ņkFWG|OY$޶n3ո%cF>K}J 7zjp{BJUԍ 7 ZW>gsł6SB!W]>y* {HBy(}P; Hv'PmR$| Y.DvyagYZ7zXZִF! x]ŗXi%>{YJ} xrU({_nrcc>7~qr"ډ+(;w`fr%I}E! cDc [LCK|a_6dži1'vGó8զ %%{|Զ{,,[Xs"jq_e#yѱe0@C!&aηږ81,mACr%~!^v=y"3 vI8ZTҌUdդsd?u]}φ 7oU@AYWBǭa?o |2t4\s 2Hc *ˠ:%pRP XUAA{2A"H'i@Ƽ~DṸ(Y[TDnEFk¥a_ +^7]"{;ZeSc'5^Op ; ѴekΝ;ְ[dS]1YU)z>bpH2՝6exvU7-$bY=E<F/<LG4AK.(H$VS0%`i#_Ulk//<傚5QhnaAE$礅+D c)y N_Lݯ).f0A\€Ƞ@u7 oFէ0;^i9"h3RJz:BNג;]O|X*"I'S=QV;{h PC Үۺʙ6IWc6,l*k-ax)Xbm#NqX  ;*E^8J&$8& 'ܢ d?JŨ,rr c^4KV'suDDQd:*v}Q7zxBþhfw?ḄTƢ|&+ &wsj\is#.o]d~fJ9xiڰd[aHI괶v>NgD\Ow c'Zy.ӷIWX`8pTHB#PzOyi ϼ*y|9) 5por-sV$Ra~ϼYO:xK}#q U{%;˷X <'u@"£rVؒ[`߳w aoPYA Q9R0Uj>;bצS~r' ew-C.l2|- HUvNxkS_A]Sߙ- m-$gLQiStwB|C#[G=TbK;[9SLeRQtD RY