SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 /3  c]Bell_Numbers_Spivey:threads=2elapsed=18.900cpu=35.004gc=0.784factor=1.857zXZִF! FdA]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}Kw"TƘGȢ bMTmlL+P c\S ƾAnePW3y^QwHݽJbnRFz-X81QI|R3@6ҟnFN Cc<!i8~~\x 3 Bell_Numbers_Spivey'EP4~iՂnRJߛ/hӭ8Q}~x`hi `&Ho>F=;iOLcN\_$A[Lhmv @"/+ Z@ xR%o; ꭀPA7]\xwG`ۈ*7[2Q$`-oѻ:΁Sl]ja㘥 (?u_]R_?WT]4 9SDg'n4վn9~K`S:kLUauv42 ~/yvO&{|%앹V,'IBc3PhQ˝-K' JeC/v< ~*t~"Ʌ킀hbdf%S٢ِ'FDdtqZr%z}LrH4ٹoŸ*q, tØFK2%qDžR%ZVE0<;ڰYFJXt/$@rvt~Ӯ,?B4TGpzFK4مJU2d op仂]pGC T94z{u-X_w80c#TAN ~J2>*q$"cT:IP C474ʝs+]w.y6L(brdVOɻqErLgnEgԖűe#>:K\2 =f ˂wAj0zM3a6AM22S2EfЫ{=/0̜ 8s|<9jt5l#CdUYo=|採>TCХ(%P`\rL "7gYZ7zXZִF! b|]ŗXi%̀=&9fMqT Enidy">YpO΍z:믎Fr/5 JRY&N恑;=ğ۾XR Y 3W9ޭP#}\\͂iv3:͓6>,,gw O5 lr?e{}2MN9?ؒBi,LE ^뵐 mt֊u<@_.|뭥.atVe?z$KSG wJEAnC@FC4t  HkwM*.͊bSa\7Fb%rf/s-(0 i 4RWf@ qN=WE+甂b g ^ /O+A~G cW^t+ZV(?xqY|Exk&g1CtXِ.@`#!ꩤh ,v ش>#LNl_)lA_n8S8iB;׮X~^6ߓ-mxNJIP5CIz->wl8 WO;9XiTLP$Dzzr< .:ΰ^| PaD  Nч='D9/WowSvx2Wn!?2ojv,dh)V> >nF|Hؑ~kvM7b:ʏ6F|e-LB>BxYC|3>j5N3&gYt6gM VzCuhBlV@?w>-p€\((ޥz>޽N9pfFcq.̒Z'\DB%M,-2Oh