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  M5\$| ]/ HOL-Record_Benchmark:threads=6elapsed=105.983cpu=189.512gc=13.328factor=1.797zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2uԣF({si5vʡeH٨dAxgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h0!k9ǓQ|\3#z: `Oʈ gLhk^{\*}YZ7zXZִF! ]ŗXi%>}QrMrآu l{”D5T"hoJJ?;4|RyVF1c*H7zF. aP1E9ﮄ-/Pq{h t+?ex(p[" z0C%,"(:]E0z-qA@& ~R[mŲFb UOJ5@8%g30hHijJtÉpt h!_#r))2]NpY j~JAtbBo5;>4&yg3#l2&!hbc i $wdwRϣRquJ_`; '\6ɒ60D5CFlzS]@H(G? N_Fw ;aP{V]lmkHSQ ٥@ď4c3Cw1Rwb&$ ~Pa'w 7DSkY,%KbQx@ f[zLޥB {$> oio%+r@Â" 6&90|JOq ݡ|צ ѻ:p-ؐmw+ڎ4˵`]bNHpI}Ϝ b d?(b4OPhiIU.=\a-ft`Jp2 hI>JL PyjzVOϏ(]ĸu]/' 6Ix>g%2&ţjKShXCͤd[TumVۡyV&-Lͼ!'切pGta miPaw+qLo0SfM0Aq`jO_uBC KA(%&/bnqPGELzrU6HVnƸxRG PaJ?WϩDR헶[gB[&SV`uϸqN }a&>1zA0y;k3AKjTФJ#BvČc0#0s dv$qedK%DȊ4 |{md*q#/i{|5 c"5p{R9X`bҘEʺX&h&D~-W㠈2=kҩWJҶ^QqF(u#~ir"ƥˆFϚ/`Q%FVC/6J,-@zlB8'YS|Xų :׀jFO!v%mlI}IʝS1k9F|Cp8Mywy `Wc#ϪrN-< R,TN#$932 {ϸ]N.G?<,\Uin66| .yS\(k_Ǎ%D!OyߍϦƶ)g8yxnd ~V(O{i Giԩ.fO jhIN'7kѓS3'I&E ^wi oݲІ)Q+uAYƹVʱts_=\6j ILy ?pVj>66`{7 $,?_3;pwX=o9!4l|ݢH}Xe,ڼlL2a//ZQA[\R1xBk<%q?`p+zxj f G#`v.O;l.10|wR<̀!&]p͑"$  H'4ӥ #,14Dt~%B*ernϑy+&vN&&?5M( _~A?UK/9(nqZ/}ZΙt޳49z& SŸ A^ U-4h$ԭ ~¦P?M o Q FdCm;,<';|tOBX 3v% Id۪1wݦ@0kE-৅Re0+uWNgG8G(^nCպw"eM*<6 $=1-RUAkh}Vt,Lqf0B>68BʿVĀ"-SMX.iWyL{A>EOԯ 1XDz9Hy~43Ņy9eFaY-x˝'8<%Ku f͞oZfV' ̧FMW2'1#6?@ߨS2an['s< S 9 "O6E1NgĹ?9hfWbc#z`qnI"C$@}KcR[$gU3@;tYw13m}ζ%l`)9Dɞ|Z_J{eo6= p?L_RFrVE/m!#`(T/hF:aԈi_gы$ݧaOc NۮDrLdP|ٝ&`mL%2 dS:; Mvp /0fn]\"YgYZ82d00f4608759917e6f918808f5b3c5c3ddd311b119ecd3e4617a6498736c052214d7e7adff34d7d 0a58e77107b6447412309e7161b33a2201d96314