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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info D ]w ROBDD:threads=2elapsed=33.241cpu=61.000gc=2.388factor=1.847zXZ ִF ! $,=] ŗXf1-/6vR[Nj[@`4+Fpq-\"7%u ]cpJEgOȹ~|.mJiԙPm$ V!ߜ2r|x19k|A*!8_5EC*vB4e9"ntS5<+^V&̲[(6 HJ%ZD_1&OśNqla唴NKiS9' |My)זt%zNp}N͇/H 6#FdZAޒi*
,
ROBDD ?3% 4ROBDDROBDD.Abstract_Impldocument.tex7zXZ ִF ! /R] A-MՋhvG"uIBm5y6C]mĹ潀ƆG)vm(7*}NX>^?Ru_^Qg[͋%S(maAXHܗ5svc^[>> oA-Vav(n=mm4JPf7 <6_UͲYǡdtxgRh_u/1y1VDL;SKp5^ PE!T3\n] '>FW75lP妪-ȢA0EQN@q -d!Sw$5`1m7̜ۥ\?EQ+{pBIE6lѯp,ݯ+)y3&y;ߢ5i/i1}jl˨3siu)ue:86uم)cױNxLoci~z3I4pC* J] .>QtIÆk5d
ȌDgHèRk9wb )<#D!7?07AgG'yG!vjPO@\V
G>PEQ3!]9})J?7 oWic4uKཱྀaY&r@A#t#fă#E{1 X
Yox1:RZlM-8c)ٯi{C<@H-m
AZsOZ5hLXhh^A66mL2[}oFZ5w$V" K4W 0\y7NDrW>$3u(V9߈
(Gn=:RgYֵSg$z'~R/W*h~0]fEWMC(iI+yPxMI =_k(kXN2Y!- {1E"}hvD-]
a3LKN|a*[L';`w\3a+
Z9iUJ[P7@;#rv36ﲁi8vKw9$G
Ӣ%TA_Y
ֽqSs'1j'
y/\_!{
iqyNF뷙&x!O$knUSueRnJ}8$R\gJ~(`'msѣo߶QDyn4ҚcdNH=mT`r܂i,O:r3dS^6GSt
Z#K8b!G-egX꒪VI!j[ 6v!S2`'m8|_c4L?8:]&j`jDA:hɬWq;/ԢP~ "GcP6x4ð$ъU)zI+lR Şs
~)@a`bf6{ X{}\meH1|;pL
Gy`ŞotB6.NkR¾ dΠs:)y)`W,H@i鸊mDџj^CX tz҆ƛ*w[J%WaLX<<b7eopܘ1IUjRN4 `O;
fQw܋y(
дݠDT [u='Ğ->[ʙ3-9l/3$mcf>r⨳`Yn1u/ mf*ꦎkRuROՐ3TfER0(PrOD8GQ[6dMN8=cn{\cA?M!{
ib9= %)%ROBDDROBDD.BDD_Codedocument.tex+5%ROBDDROBDD.Option_Helpersdocument.tex)1%ROBDDROBDD.BDD_Examplesdocument.tex
'-%ROBDDROBDD.Array_Listdocument.tex -9%ROBDDROBDD.Pointer_Map_Impldocument.tex&+%ROBDDROBDD.Bool_Funcdocument.tex(/%ROBDDROBDD.Pointer_Mapdocument.tex(/%ROBDDROBDD.Middle_Impldocument.tex+5%ROBDDROBDD.Level_Collapsedocument.tex %ROBDDROBDD.BDTdocument.tex&+%ROBDDROBDD.Conc_Impldocument.tex)3% ROBDDROBDD.Abstract_Impldocument.tex &+B:;Fkh0&`8.&ccXBEiE+%eh\Te^a\Ķ3Ye::fP?V`SV)Qfp/̉lc#z4t|iA77%gn1n`T&