SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 } l ]/ FLP:threads=4elapsed=18.132cpu=51.108gc=1.824factor=2.827zXZִF! ]ŗXf[&l @7d|ĝ?PqF.`uU>l-ڻdM#ثZnXk%0E y]Q˖ י12Һ6$C?'J(t~z. 9[/0*i1?RT#asm@#,>utr9cd|ݥ_2*i#i . )6M=Qb6ɏ0 :F6ڙ*A 'UHSyCq!)yAPs6/:&ϐ57^+ 6& ^uZߴ]%Iu_J0:-_g2}tÖX*4`h8UNӭ 6'b4S;[\"a:;S::_di8'.(U3 ~wިzW8 A7J?UL(|f<OڴtD@G-n]Fޘs.;W\͋*=a:+]9 K' q5b?lpm?.Nm|j*W8t#WK#y2NTZBeLZKVtd*(5smɻ\;-c3{Ǯ'1F6Ҩ^gזj]3q)dA aHt 6c #ƀz^-^lDV>$I` ͯ3啿SG@􃔰&̣@ވց5橀4cV]_6lZ-j?WqMh8Q}Eʛg)1%ٿ~tfKK27Bz|E^}sA=( ]=vzKWr=}\py[q@7JUf064dV_ nX'|ifxe;EP,z˝}& Q*I"q VƸƩDMr |qz*w\<-POxDdf=/Z]<,D E%ŞϠT6\Z6x (n"C@`N b4#YAqxǬ[[$!εN06G,2[g' e1^ 'r q!# 7ROSZz*sF6zh%U yЧKBlpG鸼U8u^R4eyU`7kv՗4VS'@@ฝ9;P(|cTנ7OBc7`(:Z4gFyنSS-KOJg!gq^&q뼈qjG\H]@Y^քځdw c1#R}~CHʂpG篑, $ǖ`_Tбgbxinpm]}jiez;n>՝ruqx$.} r+\ ù1ǞuQ!\>ɀ?^4Φ>8y>o[Nv7GKGMb%Tq6 FTEd3[@#/O3 b-$=֑uHJ_q6mHqnmR![T^Qъ#Β+[㓼\(j#<{728:m=TLTT~?JOh**J˸bznRr-YHxgKBCDdmZ @Pd>MdPCAltמYu_'4-QVwoC/;ND̸ ַ6 "O$=_p+0N.]p4QcVXκ}ܬ<:Ի2$i"Lig^Ba ǽI`vX{߶!uV.ꆻ E^]\ڵGqٯHCevxYI{