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  ! T \ ]/ NormByEval:threads=2elapsed=26.241cpu=45.844gc=1.488factor=1.757zXZִF! ic]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# h8w1I*ȥM3xqݤ ["z=/*JM_!s+Mi/pIIߘ7)|DS+D$O#nS]kY.㊳[[JLBm@Nade-]Tb7t0cŘE&ۄ5%LXJ@nǚ1KBu-oFm~x) \[nV]:Hg`<rd,>(T g}p#gt{NT1F ڠSbAuq$V%08i~!jW2 v6_sSR +g_B7O?ݒTE}  "LV bQ$.3jތa1g+j1]aļ,eC%CƓ㥡Du C_v:0hz35\c Q(_}`RF:B^=6F$UQOs݂#MƸ52yJQ#JoO"ݲ•E*%i%,\m: R2!|ؖ9,6:P6eD?` 4S9{̚^ l1Z[L튽2`9Cs? kO{ŎҴ&*'ȃ&ʹ=6W ]5$u=]k*mzHy]PU Ks"֠ nN"ys d2:ϧ&9Vc_ȸ/8 շc[G.~F+>Ͼ},Vm6V\Lv #D )NMXYJ.]jx߄IѧR:lr}KFmk,Me:5Ź^/Dr(0.AU1ZGG?j:#;X',:{g|9@f/wt=MNiW-B1A.UɁt@KYRazQa4?Sn1%0[o+@&';T1~<R| j1짖ݢPe'է2<\(Ɵ8pMZ7H.oT߽LFK7ۇOD7Ǣ1  XO!Gyl:%R]M+(r%/IҲ 0c ~@ΤUO\OyB &NYF~jD1|a̞VI3+ [u 7Ä`1 ; o 'k. *Y#1;:w5z-ȑ@g=,X;_[2%?XQ: +LnwՋm[$5FUT#ؤ-1fDLP~[ bh@/@iԎ,uhBCד 9y@쥣8GM8\Dk]d3!?-Ju}1pEE} "zQ%aW |qs$ k]%cō2e%TդeWɳ \|8R^KR];{Хzik}%&*PHUF ORgπ{)Y|},Z~O#ۉ5uXF*CaN궣b+I*&` H8Gs{ là ~nb_ ,\?[0Wp<y)Āt 6.j0>fFjW[c}'\oP5c`.Zs)__ӵ_1!v%46LB~8I"mӫnW 3;F؈ =x $$>2$v߅fBA6vm܆NGEr=v;~ 0W\}9&7ejfۢgYZ9a8fbd19e20e8487e5160196f0ea0998dfd77d9d97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3  ! NormByEval