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 II,E%ʄI^ZM=4ZowܙLq#ʼU] V׽iSke*YY?l?4ZHw/MEA[l=_z-29ǎPSgyX p'X܀MM TN/,FH]_\~ŔysR;]y \ygtncZ\Gp?nɱċąU5hdJ:=K Om}{X+CxjX!|)}s%a;[HJKVemv ֫.A۹e?iŜvSG]l[kӟ#?_]Dh^KlZ{z6JҀj IYǎ?XsEn'͑ì_n&*,}Bi|&j<]CYU}wf{Iң{ιXMKkyc"GvmQ`]W>gSu.,J!2tQUIyu C;o:pe$ s {jQ!AstC܉F. S^ekTEsbs1gz${_R9h+J*UxH1=ȦuNINhM-u+=vs]$y #8 |JXϯUD9I!00b5W )*(St?KhPT2Q?U;Rtۛ*=kbC<賴m -B(Yg~t5RvCl LI@Ȓ{CI̧@ɔKDz-* 4(uVRid 2Le[VpPsmaE?R6cz!' ^)jL%/9u.4o<&/$8?ԌL}8Muֵ~D{89cXEz õ7vfn)h)T\/d~HbEkff m]ݳ4Q]1^][H/>B̹3)&c_#; E Encodability_Process_Calculi  7=hsPzr6XxjWvtu4}%]K~e";U.4<W8V=;'D%d3buEG eRF '@He'$gYZ7zXZִF! yq]ŗXiɟ1˦r p0+7bOa\ AV1S,2EJ ^?;I uEٶ9h ()Z'``Ycx<,tD-枵4ډ)Z ,X9FVK蟸um l>)nvDFS^ -t{򵌗Y7?M\▣D[p{r&0ۃ!uˈ CWl޺&VbJ);-GRP"f-9'a`.K :XI Ǩ6Gg9|T=<w* /)bRmҵƅ`.)BNtw/:d6B,Uos#| s7,*{e7~а+ΪZZi v:'CM2-N!o3-?A!&ϛʰF"\բB{@c]S7ä=fgpN 0At4_|G6@y"b[v99qٸ`oߏ,1`ם>Pr躄ՍQ#Aݿ{2'_+(=1 Afo4~#yLi}u@౥؀z\b2; ]G(/N bU+B[lI<-Pf[Y  o{_v?[#b1 Р4>=GV/P+nS_?׮w5`Lm9d!πO2K >L <ϥ Jeະ@GGZF4EROM'%ҬT1x,$08V6 Jk MbYRDIHPjAܰ'@Fi`&-?.;7ŗhkïl>`u' o?VG6j&7cզx"}PԥU@BeEv6˞Q9Z"7*;3V62Đ?BhQ5RܲrǑcM).鄈ݓߚMs"Z W6|ep Ҵ+m^G1WCd9h@fU9vC"TgTxBfld(tk@w]th0ݣ/G(a۬@#ܶUލZh8w I<̦Vp;|^q>̋i3 <%2(ܤN0xc/u f?P˫!/+1O=R1=h{0m{;yl HDy[Jŝ~HgdGhI?R(0ob֘EF 3 &L]}c.3 M>.Ev= ~Y(0ԥ5&/5׎,U=FB/4;2j1{#ׇJPJG8/L`Py^|IŇ&r]GTNIZjc˞G>D;+|=YܾBLu+D Kd (qNk#g)үesN0T=Yjw_e@TmqZ0 M Hc@RXt4&veO7VfwZDPHh?Cd -Lh{"⯁-!ӽ-~qQ jOBjE+H&EiDk0@qiXND0 yyzM:v>o8a /Ĭ# +=;`H+ F[PK[.)7oL̺tjE9̥Vo\]bE$.)Ѷd)-#Ho5† E27~()n>Gg/->$3q T`Ab7avNjd4Q^,k*ۂ|.;\]-EHǹ)Pe뢥qsN@~DzQ+DfApSbXTAy/gȯv[Q}DU۽nGp]z[cqX_nuMb$NFRs> H#JcQŮir .l,8QQ7%{ P.m DNa flPiTds׿_:L+&.>n H&OڳlY2pS[){&ߎWqz{w%tErtQaIzoֺ"\)Rp>S;/oL kj}}΅gbx~t߄T lPX 6 %ޘw~ C_jKbTs.5u6t~I6˪a yi PrCQRlW)뷄i3:g\ZA;&2qx4ڹ)8JJ5U$)g9@!H 7t8o7J#Sk8!cpB~HP A ]3ʖD<ƍ[]%"¶J0O ͖(䀎( EH#\]%Q@8JgI£IMJaɕ4J,M%4G%y=:L]Q#VQw/nW$mYE"Q_q|%YD >Rۢ2jp-/B0OpSLAk~xAYcѯڼ?;@kv7+\_uf0; QL:e~ߩ7> ;Fg]u5Ww۶zrX#yq>3J;