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  \ \+ tt< ]/ Decl_Sem_Fun_PL:threads=2elapsed=41.024cpu=78.972gc=7.728factor=1.937zXZִF! #t]ŗXf1-/6vRZLҨ2y1;B=Cr؆G4B c_]>FLa]Ե[U>Vt_j!ykd[ncCoX61ü@@iʷ@ R-sM sИoPI q&p{+5xr;8QdƘ1\){b/52yz&hqP>t'*4Z'Ɂc=n<,xbtM.I{EoBi\.m'P~~yu5 (`IU73{7@ Fߖ03s+3goЫbdtă;VlJVc3?{`j;zXzP2kKI:`[ΈڢJ>'La%i3ۀ Ehد۲~4K VC8`=Z@:Aڛ-~,(KѵhC%?[/&džBibacy'.x ޝnF-gvVpM?̎sm@W1@ZCUq¾1TZ\  + Decl_Sem_Fun_PL  ߤ6ogޯ~ͰEڥ!';)wOFa`ldz29&>G~kXe~Aŭw\4ȟaHNUx=kYA(]P15&, &JC,FKFb2_ ?3t.hbNx}cOt Rg+ś&,z) ſns;ͺ B(b\M]88G۷!U7 iWQ tԭ0֓ʚIhzKs.Z9{twlY G5ȱgYZ7zXZִF! 2]ŗXiɟ1˦r~KunύNN{1E 1 /hj;#ϜσJ䞬?XzaY@*,eر¼R%ڸXVna<+r6!§9@ت؏g>52g&5Q!'hHa /ڄ/FX'^'C=bZ1i,YQKx8*l'c<5Q糣<%Yo}f?> {Y+*>G?\ "T1AAȲ~8DbOf%uΆ\~d; 3ZH bRD%x +bROcX:eDE I{i[>~2oKٲŕ4BS[ E `| F`i#}. B;35?NXpTXadt| C0 8oegYZ7zXZִF!  U]ŗXi%>gꂸT0 Mc¾eFAAʾ"I7X˥ |tw"`0GϽɟ_%Ei ŝw%S#䧃Bw`[qH[a!  M0ŒګMZ-}\6ʫ/ h,bJ%)5MW"D%^c|Q Epe,*x*RpVms'{4[":hTEn=*~)=g0" iO>9Q TE '},z0\3dЗ+*Z$ >k, 2֥5(FdEUGR#M?[a(i/e?lB' #hؑ{6t%jtb@ 2`m\M#CkWKHͭ^:4D@F _ewk/|(Z5Z:}D K5$1@,W=4dR|W폜ÊU8,snEESe*Y=P+;f^"64dgX=/.#U}sRccAv5(Z5 E4 ɡc#q5C䷹>G你Ig4@Z%rhN%L"N{|*%2,CɮIcWihNF)+Ӎ=Xd6@;^\s d|Kc6`X]o-ogACjL-SM̖@B!yQI[<_rx`dLdLEo v:0KFB bFz CEG pЉ`ڝBz@^ҩGU /7k-6?|N'-'om$CҢx gOa~QoլHz1=Akmy ˧ ZBDȑ<'BT9s0pKizd4> >: )N?>:0%D48(!9LIli/j>$BK&u&;yشe|Xt\(T3.k%VRi{(rbR-D~z\' K_O>;,Jı0S9KKQ(uAcVn> LZQg˹T9|E-xi=v{n ]q87O/p*y갆Yt7IZal- _iWqVIm2Gcb_3\zCIu]K)4~ARktҔgYZ3562877db1021ff468753c0d6084a48bdfd1ca6f665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7