SQLite format 3@ . BBh77otableisabelle_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  q qG <$, ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=53.366cpu=92.436gc=3.540factor=1.737zXZִF! 5JV]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k(yG;P?cy_\=(]˶9/Ȋ/QuU.cU_,p4\vN ΋{Ic%CTxLqkSu?ajlxXS}zqքC|{-?|)8aB=>$N;wX4=3M,ީ\UqۦK .$x ^" Sp>P TCޟOhvਭ0Gb"L%8mLo6C[,g=穁 w{p'4?QV GcY%5ܳ*nmmwLb:s! L(6Y޿}ǛY> [WKn- jLe,cQ) Ql:$98"H:xA),\z9{pKĤlg&iGW]{c(&N+%f[! T+rdl)5(߯h{?D[x UB|}.L煍EHKOa--엤 BYB!5=AEwĮ!TdaeJ߻<ZG'p)8$;rx쉴H};|dc0BJusJ>Z1%dI2[fUO@֔o\פÙJ)$EW Z^(y#{:U:/obE$Wc߃<:(w:Y"XAhR ]2 R#2sGx  G Probabilistic_System_Zoo-BNFsX*໹˺ ,UEUR3ܾbi(9:R?v6CЫҝ)t/&rc~]lbѩIPА%S jS5gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~Š6M鐥Gf ;Vswn8e dM jSAM9L(h|82HV-R]cu\vdOK# s2(\;*+`\/u|ס~/z<(#q̝pn/pT& 0F_ln2nFPYb{@wd ABpb(Z{IHׄ5F>ÍkrRQDiSMMe6hdgbe-d45v&W~ Թ`ۀlaHΌM8^O>*Ѭ%lM [:8j+:GXX'/{?qg F==0JJ݊kiw00 Pu'@Gn/AԂ%F/N?TgYZ7zXZִF!  ]ŗXi%ήu%o),3p5ZNUNtҏՈIݞU&=wJGFok( {mRl^XωS7(Q,4߆?!zt pVC$矬fM] ydܬɨL%+NmD)S}r6a.NoeoiV15K3-Et9k韁f*,dFyDzIr(h0CoQ9bX{u *scwG JXD^Mշyqn_p@ n +:#='6oXs@;O( @)}L>Ӌv2>'oh՚:z :WĞ8I#fv^4>0gFaшXim*;'΃`yB,WRk=ZťjA@\n{zxS;p'\R 78]#+35W9I4aFChd=M!.i}Ae,\Q,7]9u,[}}ĤSg g(KH|X.$h`n 4Li83~$mBOAf<Ep6*IK}P&F/G,ء'F @ș4.I@6o{*>']'kegkR/n|햟WVq |}PM@ARUvY%ȕB~!F\4@Ljqn=4DyI>D<@)t K+cSQhԲ\afc+rӵ!`|S}l_WG;^udy]զth;FDOjŵ[W7%Ch%tXmAgr t7/} {3ʬ'k°낞,60r}^> iluV &T2Xda8U/Sg60=ZbsiSX~2 >M1Q[X+[)b IYr@HQQUQ|ѭY@$+L@$'zѤ95v䈤LuQL<yS&F/;IrmKkp?J:ohQ bxTR7UJVp,R]myi^ۦI?z (]s7Z[ >i8aw9]\T5Y`հ쵭], S@m.d\$e1r5u*j> y;[k#9Vx>aԪ57o\e`ylPX-]kt g K ܉b:r2J%K]Om:olLM`ؐvSM:S/Ox?l;Py?Zs%G;YUPʉIFU (CUּ%Vp$F r'bHIؽ.^XƦ]fBp]Ql`֍jϔO1g]MNU 9S7*.WXZ5 .Q9D`X઩rL4GR\؞8SP—9;@$m40[znr.` v=D_l.7jM {= GfZ~@{Uj<#jqHZhnk^o6YO^yڗfBa"JZ%!mK`n_f o{S8z'<@ai> N3Z e]8'B cm~<+'Dw^N5Dn,ќ_n*:%!R \ n{ 9688FEXUllϟ+7Y/gy ݱ@{`#kT.$~A]0CoLe]+ZO&hn90^~>l}*bQ4R9SH&?:zϸïΠ 3Eb2@N8[T"^ne5G{GofO%g0rz_XZnO,S82h.<@u*\T7/Ue6 Ds]"S-*~SP"i +퉵2VCDO+1ʖ*a1,-tDI}F߫10(oa/mtn +73a[D.i6XJ6 wU%,.ve2L ȋ27lLY[0vJa )A!FH&6~r!1׃S ?G0$[nC|6?uG *sN7@ 2iKƳv):#2O% MjUDj  {)lkO.gЦwۭl̙W R"4~gYZ79ee898313872de0af114301a48684d23098061200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6